The presentation of formal proofs

Martin Simons. The presentation of formal proofs. PhD thesis, Berlin Institute of Technology, 1997. [doi]

Bibliographies