Anna Bucalo Carsten Führmann Alex K. Simpson Equational Lifting Monads. 1999 29 Electr. Notes Theor. Comput. Sci. db/journals/tcs/entcs29.html#BucaloFS99 http://www.elsevier.nl/locate/entcs/volume29.html