Formal Description Techniques and Protocol Specification, Testing and Verification door Atsushi Togashi, Tadanori Mizuno & Norio Shiratori