@inproceedings{Megacz:plpv:2007,
 author = {Adam Megacz},
 title = {A coinductive monad for prop-bounded recursion},
 booktitle =   {Proceedings of the {ACM} Workshop Programming
                Languages meets Program Verification, {PLPV} 2007},
 isbn = {978-1-59593-677-6},
 pages = {11--20},
 location = {Freiburg, Germany},
 doi = {http://doi.acm.org/10.1145/1292597.1292601},
 publisher = {ACM},
 address = {New York, NY, USA},
 bibdate =     "2007-11-06",
 year = {2007},
  editor =  "Aaron Stump and Hongwei Xi",
  ISBN =    "978-1-59593-677-6",
}