Title: Generalized refinement techniques for isomorphism problems
First published: 1981