(1981). Formalization of programming concepts: International Colloquium, Peniscola, Spain, April 19 - 25, 1981 ; proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)Formalization of Programming Concepts: International Colloquium, Peniscola, Spain, April 19 - 25, 1981 ; Proceedings. Berlin u.a: Springer, 1981.
MLA-Zitierstil (9. Ausg.)Formalization of Programming Concepts: International Colloquium, Peniscola, Spain, April 19 - 25, 1981 ; Proceedings. Springer, 1981.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.