Abstract Homotopy and Simple Homotopy Th door T. Porter & K.H. Kamps