Structuring Textbook Proofs (1999)

by Claus Zinn