APA (7th ed.) Citation

(1993). Program development by specification and transformation: The PROSPECTRA methodology, language family, and system. Springer. https://doi.org/10.1007/3-540-56733-X

Chicago Style (17th ed.) Citation

Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System. Berlin u.a: Springer, 1993. https://doi.org/10.1007/3-540-56733-X.

MLA (9th ed.) Citation

Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System. Springer, 1993. https://doi.org/10.1007/3-540-56733-X.