Conjoining specifications.
Contributors: Lamport, L.
Series: SRC Research Report 118
Publisher: Digital Equipment Corp.
Language: eng