И. Бурдонов, А. Косачев. Финальные модели спецификации. Труды Института системного программирования РАН, том 22, 2012 г., ISSN 2079-8156, с. 233-276. 44 стр. doc, pdf, pdf_1