(1987). A prototype system for the validation of Pascal programs.
Chicago-Zitierstil (17. Ausg.)A Prototype System for the Validation of Pascal Programs. Teddington, Middlesex, 1987.
MLA-Zitierstil (9. Ausg.)A Prototype System for the Validation of Pascal Programs. 1987.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.