1 

     1 @inproceedings{Krauss10,

     2   author    = {A.~Krauss},

     3   title     = {{R}ecursive {D}efinitions of {M}onadic {F}unctions},

     4   booktitle = {Proc.~of the Workshop on Partiality and Recursion in Interactive

     5                Theorem Provers},

     6   year      = {2010},

     7   pages     = {1-13},

     8   series    = {EPTCS},

     9   volume    = {43}

    10 }