APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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

Warning: These citations may not always be 100% accurate.