Composing Specifications (1989)

by Martin Abadi, Leslie Lamport
Venue:In Stepwise Refinement of Distributed Systems - Models, Formalisms, Correctness