Anna Bucalo, Carsten Führmann, Alex K. Simpson. Equational Lifting Monads. Theoretical Computer Science, 29:22, 1999. [doi]
@article{BucaloFS99, title = {Equational Lifting Monads}, author = {Anna Bucalo and Carsten Führmann and Alex K. Simpson}, year = {1999}, url = {http://www.elsevier.nl/locate/entcs/volume29.html}, researchr = {https://researchr.org/publication/BucaloFS99}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {29}, pages = {22}, }