Burdonov I.B., Kossathcev A.S., Demakov A.W., Petrenko A.K., Maksimov A.V. Formal specifications in reverse engineering and software verification. Proceedings of the Russian Academy of Sciences Institute for System Prigramming, No. 1, 1999, pp. 61-83. 11 стр. doc, pdf