Constructing Distributed Systems in Conic (1989)

by J Magee, M Sloman
Venue:IEEE Trans. Software Eng