to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs (1979)

by Leslie Lamport, How
Venue:690 ± 691