Imaginary groups: lazy monoids and reversible computation. - Murdoch James Gabbay; Peter H. Kropholler (Math. Struct. Comput. Sci., 2013)