Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994)

Manfred Broy Stephan Merz Katharina Spies Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994) Formal Systems Specification Lecture Notes in Computer Science 1169 Springer 1996 3-540-61984-4 db/conf/dagstuhl/fss1994.html