First version of lamport article