Dromey, R. G. (1989). Program derivation: The development of programs from specifications. Addison-Wesley.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Dromey, R. G. Program Derivation: The Development of Programs from Specifications. Sydney: Addison-Wesley, 1989.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Dromey, R. G. Program Derivation: The Development of Programs from Specifications. Addison-Wesley, 1989.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.