Formal methods in programming and their applications international conference, Academgorodok, Russia, June/July 1993 proceedings - Bjorner, D. (Dines) 1937-; Broy, Mandred. 1949-; Pottosi, Igor V. (Lecture notes in computer science, 1993)