A Functional Solution to the RPC-Memory Specification Problem.

Manfred Broy A Functional Solution to the RPC-Memory Specification Problem. 183-211 1994 conf/dagstuhl/1994fss Formal Systems Specification db/conf/dagstuhl/fss1994.html#Broy94