Towards a Theory of Correctness for Multi-user Data Base Systems (1976)

by L Lamport