Eugenio Moggi, Amr Sabry. An Abstract Monadic Semantics for Value Recursion. In Zoltán Ésik, Igor Walukiewicz, editors, FICS '03 - Fixed Points in Computer Science, Proceedings of an International Workshop, Warsaw, Poland, April 12-13, 2003. pages 64-79, University of Warsaw, 2003. [doi]
Abstract is missing.