Formal Systems Specification The RPC-Memory Specification Case Study Broy, Manfred Heftet / 1996 / Engelsk
