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