Constructing compact 8-manifolds with holonomy Spin(7) from Calabi-Yau orbifolds - Joyce, D (Birkhäuser, 2001)