Formal systems specification : the RPC-memory specification case study - Broy, M., 1949-; Merz, Stephan.; Spies, Katharina. (Springer, 1996)