- Michael I. Hartley, Polytopes of finite type, Discrete Math. 218 (2000), no. 1-3, 97–108.[MR]
- Michael I. Hartley and Dimitri Leemans, Quotients of a universal locally projective polytope of type {5,3,5}, Math. Z. 247 (2004), no. 4, 663–674.[MR]
- Michael Ian Hartley and Dimitri Leemans, On the thin regular geometries of rank four for the Janko group J1, Innov. Incidence Geom. 1 (2005), 181–190.[MR]
- Michael I. Hartley and Dimitri Leemans, A new Petrie-like construction for abstract polytopes, J. Combin. Theory Ser. A 115 (2008), no. 6, 997–1007.[MR]