@book{ lamport86 , author = "Leslie Lamport" , title = "\LaTeX: A Document Preparation System" , publisher = "Addison--Wesley Pub.\ Co." , year = "1986" , address = "Reading, MA" } @misc{ proofsAreHard , author = "Unknown" , title = "Proofs are Hard" , year = "2016" , }