Clifford Bergman Joel Berman Algorithms for Categorical Equivalence. 1-15 1998 8 Mathematical Structures in Computer Science 1 db/journals/mscs/mscs8.html#BergmanB98