Cate, t. E. (1963). Towards formal specification and proof of finite element software within the ates development system.
Čikaški stil citiranja (17. izdanje)Cate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. Netherlands, 1963.
MLA način citiranja (8. izdanje)Cate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. 1963.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.