An Exercise in Program Synthesis: Algorithms for Computing the Transitive Closure of a Relation.

Lothar Schmitz An Exercise in Program Synthesis: Algorithms for Computing the Transitive Closure of a Relation. 235-254 1982 1 Sci. Comput. Program. 3 db/journals/scp/scp1.html#Schmitz82