Composing specifications (1993)

by M Abadi, L Lamport
Venue:ACM Trans. Program. Lang. Syst