"Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings " - читать интересную книгу автора (Dines Bjorner, Manfred Broy, Igor V. Pottosin)