Published as a tecnhical report (1996)

by W Dijkstra, Leslie Lamport, A J Martin, C S Scholten, E F M Steffens
Venue:of Washington University. Edsger