APA (7. basım) Alıntı

Cate, t. E. (1963). Towards formal specification and proof of finite element software within the ates development system.

Chicago Style (17. basım) Atıf

Cate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. Netherlands, 1963.

MLA (8th ed.) Atıf

Cate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. 1963.