The perils of indirect proof or Another efficient search algorithm to find the elementary circuits of directed graphs /
Lauer, Peter Ernst.
Newcastle upon Tyne :  University of Newcastle upon Tyne, Computing Laboratory, 
1973.