Partsch, H. A. (1990). Specification and transformation of programs: A formal approach to software development. Springer-Verlag.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रPartsch, Helmut A. Specification and Transformation of Programs: A Formal Approach to Software Development. Berlin ; New York: Springer-Verlag, 1990.
एमएलए (8वां संस्करण) प्रशस्ति पत्रPartsch, Helmut A. Specification and Transformation of Programs: A Formal Approach to Software Development. Springer-Verlag, 1990.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.