Prototyping distributed systems using an object-oriented specification language. - Abbas Dehkhoda; Doris L. Carver (RSP, 1993)