Cate, t. E. (1963). Towards formal specification and proof of finite element software within the ates development system.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Cate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. Netherlands, 1963.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Cate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. 1963.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.