Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII .97 - Tadanori Mizuno, Norio Shiratori, Teruo Higashino, Atsushi Togashi ((IFIP Advances in Information and Communication Technology))