APA-Zitierstil (7. Ausg.)

Apt, K. R. (1978). A sound and complete Hoare-like system for a fragment of Pascal (Preprint.).

Chicago-Zitierstil (17. Ausg.)

Apt, Krzysztof R. A Sound and Complete Hoare-like System for a Fragment of Pascal. Preprint. Amsterdam, 1978.

MLA-Zitierstil (9. Ausg.)

Apt, Krzysztof R. A Sound and Complete Hoare-like System for a Fragment of Pascal. Preprint. 1978.