Computation and homotopical applications of induced crossed modules (1959)

by R Brown, C D Wensley
Venue:J. Symbolic Comput