Masahiro Miyakawa Maurice Pouzet Ivo G. Rosenberg Hisayuki Tatsumi Semirigid Equivalence Relations on a Finite Set. 118-123 2008 ISMVL http://doi.ieeecomputersociety.org/10.1109/ISMVL.2008.47 conf/ismvl/2008 db/conf/ismvl/ismvl2008.html#MiyakawaPRT08