(1993). Formal methods in programming and their applications: International conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; Proceedings. Berlin u.a: Springer, 1993.
MLA-Zitierstil (9. Ausg.)Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; Proceedings. Springer, 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.