On the transitive closure of a wellfounded relation.

Edsger W. Dijkstra On the transitive closure of a wellfounded relation. 31-40 2000 conf/birthday/2000 The School of Niklaus Wirth db/conf/birthday/wirth2000.html#Dijkstra00