Manfred Broy Stephan Merz Katharina Spies The RPC-Memory Case Study: A Synopsis. 5-20 1994 conf/dagstuhl/1994fss Formal Systems Specification db/conf/dagstuhl/fss1994.html#BroyMS94