Wagner’s Theory of Generalised Heaps - Hollings, Christopher D.; Lawson, Mark V. (Springer International Publishing : Imprint: Springer, 2017)