Literate and Structured Presentation of Formal Proofs. - Martin Simons 001; Maya Biersack; Robert Raschke (PROCOMET, 1994)