Iteration monads (2001)

by P Aczel, J Adamek, J Velebil
Venue:Proceedings CMCS'01. Electronic Notes in Theoretical Computer Science 44