1
by LAMPORT
Published 1994