APA (7th ed.) Citation

Olthoff, W. (1987). The connection between applicative and procedural languages in an integrated software development and verification system.

Chicago Style (17th ed.) Citation

Olthoff, Walter. The Connection Between Applicative and Procedural Languages in an Integrated Software Development and Verification System. 1987.

MLA (9th ed.) Citation

Olthoff, Walter. The Connection Between Applicative and Procedural Languages in an Integrated Software Development and Verification System. 1987.

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