Q-manifolds and Mackenzie theory: an overview - Theodore Voronov (2007)