Toward a Coalgebraic Model of Control Programs | Publicación