BJØRNER, Dines, BROY, Manfred und POTTOSIN, Igor V, 1993. Formal Methods in Programming and Their Applications : International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings. [cd]. 1993. Berlin, Heidelberg: Springer-Verlag. Lecture Notes in Computer Science, 735. ISBN 9783540480563.
Elsevier - Harvard (with titles)Bjørner, D., Broy, M., Pottosin, I.V., 1993. Formal Methods in Programming and Their Applications : International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings. Lecture Notes in Computer Science, Lecture Notes in Computer Science. https://doi.org/10.1007/BFb0039695
American Psychological Association 7th editionBjørner, D., Broy, M., & Pottosin, I. V. (ca. 1993). Formal Methods in Programming and Their Applications : International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings [Cd]. In Lecture Notes in Computer Science. Springer-Verlag. https://doi.org/10.1007/BFb0039695
Springer - Basic (author-date)Bjørner D, Broy M, Pottosin IV (1993) Formal Methods in Programming and Their Applications : International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings. Lecture Notes in Computer Science
Juristische Zitierweise (Stüber) (Deutsch)Bjørner, Dines/ Broy, Manfred/ Pottosin, Igor V, Formal Methods in Programming and Their Applications : International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings, Lecture Notes in Computer Science 1993, .