"Formal Systems Specification: The RPC-Memory Specification Case Study " - читать интересную книгу автора (Manfred Broy, Stephan Merz, Katharina Spies)