(1983). Logics of programs and their applications: Proceedings, Poznan, August 23 - 29, 1980. Springer. https://doi.org/10.1007/3-540-11981-7
Chicago-Zitierstil (17. Ausg.)Logics of Programs and Their Applications: Proceedings, Poznan, August 23 - 29, 1980. Berlin u.a: Springer, 1983. https://doi.org/10.1007/3-540-11981-7.
MLA-Zitierstil (9. Ausg.)Logics of Programs and Their Applications: Proceedings, Poznan, August 23 - 29, 1980. Springer, 1983. https://doi.org/10.1007/3-540-11981-7.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.