科琳娜·科斯特;梅赫努什·萨德扎德 联合不动点逻辑的模块化游戏。 （英语） Zbl 1279.03056号 Adámek，J.（ed.）等人，第九届计算机科学联合方法研讨会论文集（CMCS 2008），匈牙利布达佩斯，2008年4月4-6日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》203，第5期，71-92（2008）。MSC公司：03B70号 03B45号 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{C.Cêrstea}和\textit{M.Sadrzadeh}，电子。理论注释。计算。科学。203，编号5，71-92（2008；Zbl 1279.03056） 全文： 内政部
科琳娜·科斯特 定义和描述仿真概念的模块化方法。 （英语） Zbl 1101.68937号 Inf.计算。 204，第4期，第469-502页（2006年）.MSC公司：68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{C.Cêrstea}，Inf.Compute（信息计算）。204，第4号，469--502（2006；Zbl 1101.68937） 全文： 内政部 链接