↗ ComputersFormal Description Techniques and Protocol Specification,Atsushi TogashiPaperback · Springer