img - for Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII  97 (IFIP Advances in Information and Communication Technology) book / textbook / text book