Kleene monads: handling iteration in a framework of generic effects (2009)

by S Goncharov, L Schröder, T Mossakowski
Venue:Algebra and Coalgebra in Computer Science, CALCO 2009