APA-Zitierstil (7. Ausg.)

Damm, W., & Josko, B. (1982). A sound and relatively complete Hoare-logic for a language with higher type procedures. RWTH.

Chicago-Zitierstil (17. Ausg.)

Damm, Werner, und Bernhard Josko. A Sound and Relatively Complete Hoare-logic for a Language with Higher Type Procedures. Aachen: RWTH, 1982.

MLA-Zitierstil (9. Ausg.)

Damm, Werner, und Bernhard Josko. A Sound and Relatively Complete Hoare-logic for a Language with Higher Type Procedures. RWTH, 1982.