%0 Book
%A / Edited by Juan Quemada, Jose Manas, Enrique Vazquez
%T Formal description techniques III
%U /book/99029433/Formal-description-techniques-III/