The presentation of formal proofs - Simons, Martin (GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Berichte, 1997)