APA-Zitierstil (7. Ausg.)

Ammeraal, L. (1977). Formula simplification in relation to program verification.

Chicago-Zitierstil (17. Ausg.)

Ammeraal, Leendert. Formula Simplification in Relation to Program Verification. Amsterdam, 1977.

MLA-Zitierstil (9. Ausg.)

Ammeraal, Leendert. Formula Simplification in Relation to Program Verification. 1977.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.