CS 240 1975 - Computing the Transitive Completion of a relation on a finite set