Marmier, E. (1975). Automatic verification of pascal programs. Juris Druck.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Marmier, Edouard. Automatic Verification of Pascal Programs. Zurich: Juris Druck, 1975.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Marmier, Edouard. Automatic Verification of Pascal Programs. Juris Druck, 1975.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.