%0 Book
%A Dines Bjrner, Martin C. Henson, editors
%T Logics of specification languages
%U /book/94552364/Logics-of-specification-languages/