APA-Zitierstil (7. Ausg.)

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

Chicago-Zitierstil (17. Ausg.)

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

MLA-Zitierstil (9. Ausg.)

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