Ronald Brown Christopher D. Wensley Computation and homotopical applications of induced crossed modules. 59-72 2003 35 J. Symb. Comput. 1 http://dx.doi.org/10.1016/S0747-7171(02)00103-7 db/journals/jsc/jsc35.html#BrownW03