Tackling the RPC-memory specification problem with I/O automata
1996 ◽
pp. 437-475