Formal systems specification : the RPC memory specification case study - Broy, Manfred, 1949-; Merz, Stephen; Spies, Katharina (Lecture notes in computer science ; LNCS, 1996)