APA (7th ed.) Citation

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 Style (17th ed.) Citation

Steggles, L. J., and 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 (9th ed.) Citation

Steggles, L. J., and 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.