APA-Zitierstil (7. Ausg.)

Josko, B. (1983). On expressive interpretations of a hoare-logic for a language with higher-type procedures. Rhein.-Westf. Techn. Hochsch.

Chicago-Zitierstil (17. Ausg.)

Josko, Bernhard. On Expressive Interpretations of a Hoare-logic for a Language with Higher-type Procedures. Aachen: Rhein.-Westf. Techn. Hochsch, 1983.

MLA-Zitierstil (9. Ausg.)

Josko, Bernhard. On Expressive Interpretations of a Hoare-logic for a Language with Higher-type Procedures. Rhein.-Westf. Techn. Hochsch, 1983.