IFIP TC 2/WG 2.1, Möller, B., Partsch, H. A., & Schuman, S. (1993). Formal program development: IFIP TC 2/WG 2.1 state of the art report. Springer-Verlag.
Chicago Style (17th ed.) CitationIFIP TC 2/WG 2.1, Bernhard Möller, Helmut A. Partsch, and Steve Schuman. Formal Program Development: IFIP TC 2/WG 2.1 State of the Art Report. Heidelberg, Germany ; New York: Springer-Verlag, 1993.
MLA (9th ed.) CitationIFIP TC 2/WG 2.1, et al. Formal Program Development: IFIP TC 2/WG 2.1 State of the Art Report. Springer-Verlag, 1993.
Warning: These citations may not always be 100% accurate.