Steggles, L. J., & Wirsing, M. (1996). Formal software and hardware development: A case study in the use of CSDM, Spectrum and HOLCF. Ludwig-Maximilians-Univ. München, Inst. für Informatik.
Chicago-Zitierstil (17. Ausg.)Steggles, L. J., und M. Wirsing. Formal Software and Hardware Development: A Case Study in the Use of CSDM, Spectrum and HOLCF. München: Ludwig-Maximilians-Univ. München, Inst. für Informatik, 1996.
MLA-Zitierstil (9. Ausg.)Steggles, L. J., und M. Wirsing. Formal Software and Hardware Development: A Case Study in the Use of CSDM, Spectrum and HOLCF. Ludwig-Maximilians-Univ. München, Inst. für Informatik, 1996.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.