@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" ,
}