(1990). Special issue on mathematics of program construction. North-Holland.
Chicago-Zitierstil (17. Ausg.)Special Issue on Mathematics of Program Construction. Amsterdam: North-Holland, 1990.
MLA-Zitierstil (9. Ausg.)Special Issue on Mathematics of Program Construction. North-Holland, 1990.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.