Latex - Lamport, Leslie (2003)
Keywords: Mathematics