Cate, t. E. (1963). Towards formal specification and proof of finite element software within the ates development system.
Lua i Stíl Chicago (17ú heag.)Cate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. Netherlands, 1963.
Lua MLA (8ú heag.)Cate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. 1963.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.