Dromey, R. G. (1989). Program derivation: The development of programs from specifications. Addison-Wesley.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रDromey, R. G. Program Derivation: The Development of Programs from Specifications. Sydney: Addison-Wesley, 1989.
एमएलए (9वां संस्करण) प्रशस्ति पत्रDromey, R. G. Program Derivation: The Development of Programs from Specifications. Addison-Wesley, 1989.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.