Cate, t. E. (1963). Towards formal specification and proof of finite element software within the ates development system.
Chicago-referens (17:e uppl.)Cate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. Netherlands, 1963.
MLA-referens (8:e uppl.)Cate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. 1963.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.