APA (7th ed.) Citation

SpringerLink (Online service), IFIP TC 2/WG 2.1, Möller, B., Partsch, H. A., & Schuman, S. (1993). Formal program development: IFIP TC2/WG 2.1 state-of-the-art report. Springer-Verlag.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), IFIP TC 2/WG 2.1, Bernhard Möller, Helmut A. Partsch, and Steve Schuman. Formal Program Development: IFIP TC2/WG 2.1 State-of-the-art Report. Berlin ; New York: Springer-Verlag, 1993.

MLA (9th ed.) Citation

SpringerLink (Online service), et al. Formal Program Development: IFIP TC2/WG 2.1 State-of-the-art Report. Springer-Verlag, 1993.