User’s Guide and Reference (1994)

by L Lamport