Jeremy E. Dawson. Compound monads in specification languages. In Aaron Stump, Hongwei Xi, editors, Proceedings of the ACM Workshop Programming Languages meets Program Verification, PLPV 2007, Freiburg, Germany, October 5, 2007. pages 3-10, ACM, 2007. [doi]
Abstract is missing.