Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (8th εκδ.)

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