"leslie lamport" - related articles and key terms