Conjoining Specifications

Leslie Lamport
ACM Trans. Program. Lang. Syst., 17 (1995), pp. 507-534

Abstract