Damm, W., & Josko, B. (1982). A sound and relatively complete Hoare-Logic for a language with higher type producers. Rheinisch-Westfälische TH.
Chicago-Zitierstil (17. Ausg.)Damm, Werner, und Bernhard Josko. A Sound and Relatively Complete Hoare-Logic for a Language with Higher Type Producers. Aachen: Rheinisch-Westfälische TH, 1982.
MLA-Zitierstil (9. Ausg.)Damm, Werner, und Bernhard Josko. A Sound and Relatively Complete Hoare-Logic for a Language with Higher Type Producers. Rheinisch-Westfälische TH, 1982.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.