Components as processes: an exercise in coalgebraic modeling - Barbosa, L. S. (2000)