APA (7th ed.) Citation

(1993). Formal program development: IFIP TC 2/WG 2 1 state of the art report. Springer.

Chicago Style (17th ed.) Citation

Formal Program Development: IFIP TC 2/WG 2 1 State of the Art Report. Berlin u.a: Springer, 1993.

MLA (9th ed.) Citation

Formal Program Development: IFIP TC 2/WG 2 1 State of the Art Report. Springer, 1993.

Warning: These citations may not always be 100% accurate.