@phdthesis{dnb-4478,
  title = {The presentation of formal proofs},
  author = {Martin Simons},
  year = {1997},
  url = {http://d-nb.info/949886416},
  researchr = {https://researchr.org/publication/dnb-4478},
  cites = {0},
  citedby = {0},
  school = {Berlin Institute of Technology},
}