(1996). Formal methods and object technology / S.J. Goldsack and S.J.H. Kent, eds.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Formal Methods and Object Technology / S.J. Goldsack and S.J.H. Kent, Eds. 1996.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Formal Methods and Object Technology / S.J. Goldsack and S.J.H. Kent, Eds. 1996.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.