Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings - Bjørner, D. 1937-; Broy, M., 1949-; Pottosin, I. V. (Lecture notes in computer science, 1993)