工具书类
[1] ALBERUCCI，L.-FACCHINI，A.：有限类过渡系统上的模态μ-微积分层次，符号逻辑杂志74（2009），1367-1400。2017年10月10日/jsl/1254748696在谷歌学者中搜索
[2] 阿诺德：μ-微积分交替深度层次在二叉树上是严格的，定理。通知。应用。，33 (1999), 329-339.10.1051/ita:1999121在谷歌学者中搜索
[3] BARANY，V.-BOJANCZYK，M.：保护不动点逻辑的有限可满足性，Inform。过程。莱特。112 (2012), 371-375.2016年10月10日/j.ipl.2012.02.05在谷歌学者中搜索
[4] 布拉德菲尔德：理论上，模态微积分交替层次是严格的。计算。科学。195 (1998), 133-153.10.1016/S0304-3975（97）00217-X在谷歌学者中搜索
[5] 布拉德菲尔德，J.-斯特林，C.：模态μ-计算。摘自：《模态逻辑手册》（P.Blackburn，J.van Benthem，F.Wolter，eds.），Elsevier，阿姆斯特丹，2006年，第721-756页。在谷歌学者中搜索
[6] 达戈斯蒂诺，G.-LENZI，G.：关于自反对称图上的模态微积分，J.逻辑计算。doi:10.1093/logcom/exs028。10.1093/log.com/exs028在谷歌学者中搜索
[7] 达戈斯蒂诺，G.-LENZI，G.：关于传递框架和有限传递框架上的μ-演算，理论。计算。科学。411 (2010), 4273-4290.2016年10月10日/j.tcs.2010.09.002在谷歌学者中搜索
[8] GRAEDEL，G.-WALUKIEWICZ，I.：保护不动点逻辑。In：程序。LICS99，第14届IEEE计算机科学逻辑年会，意大利特伦托，1999年7月2-5日，第45-54页。在谷歌学者中搜索
[9] DAWAR，A.-OTTO，M.：特殊框架类上的模态特征定理，Ann.Pure Appl。《逻辑》161（2009），1-42。2016年10月10日/j.apal.2009.04.002在谷歌学者中搜索
[10] JANIN，D.-WALUKIEWICZ，I.：关于命题μ-演算w.r.t.一元二阶逻辑的表达完备性。包含：CONCUR’96。计算机课堂讲稿。科学。1119，施普林格，海德堡，1996年，第263-277页。在谷歌学者中搜索
[11] KOZEN，D.：命题μ-演算的结果，Theoret。计算。科学。27 (1983), 333-354.10.1016/0304-3975(82)90125-6在谷歌学者中搜索
