Kleene Coalgebra -- an overview

by Alexandra Silva , Marcello Bonsangue , Jan Rutten