Wagner's theory of generalised heaps. ([2017])