Composing specifications - Abadi, Martín 1963-; Lamport, Leslie 1941- (1990)