%0 Book
%A  edited by H.K. Berg, W.K. Giloi.
%T The Use of Formal Specification of Software : 
%U /book/90119949/The-Use-of-Formal-Specification-of-Software/