Mathematical Foundations of Computer Science 1995: 20th ...
Juraj Wiedermann
Martin Abadi and Leslie Lamport. Composing specifications. ACM Transactions on Programming Languages and Systems, 15(1):73-132, January 1993. 2. Martin Abadi and Leslie Lamport. Conjoining specifications. Research Report 118 ...