D. C. Robinson;M. Sloman
Marconi Research Centre, Essex, UK;Imperial College of Science and Technology, London, UK
Constructing Distributed Systems in Conic
IEEE Transactions on Software Engineering