27] A.J.M. van Gasteren. On the Shape of Mathematical Arguments (1990)

by Allegories North-Holland Categories