"Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001" - читать интересную книгу автора (Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee)