Cate, t. E. (1963). Towards formal specification and proof of finite element software within the ates development system.
Chicago-viite (17. p.)Cate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. Netherlands, 1963.
MLA-viite (8. p.)Cate, ten Eric. Towards Formal Specification and Proof of Finite Element Software Within the Ates Development System. 1963.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.