1. On residual finiteness and finite embeddability,;Banaschewski;Algebra Universalis,1972
2. On the isomorphism problem for polycyclic groups,;Dyer;Math. Z.,1969
3. The word problem for abstract algebras,;Evans;J. London Math. Soc.,1951
4. Embeddability and the word problem,;Evans;J. London Math. Soc.,1953
5. On multiplicative systems defined by generators and relations, I. Normal form theorems,;Evans;Proc. Cambr. Phil. Soc.,1951