Tom Head An Aqueous Algorithm for Finding the Bijections Contained in a Binary Relation. 354-360 2002 conf/birthday/2002rozenberg Formal and Natural Computing http://link.springer.de/link/service/series/0558/bibs/2300/23000354.htm db/conf/birthday/rozenberg2002.html#Head02