Cate E.ten Towards formal specification and proof of finite element software within the ates development system : Diss. / E.ten Cate, 1991. - 236 p. - Текст : непосредственный.