Kleene coalgebra (2010)

by Alexandra Silva