APA-Zitierstil (7. Ausg.)

(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-Zitierstil (17. Ausg.)

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-Zitierstil (9. Ausg.)

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