Towards a calculus of state-based software components - Barbosa, L. S. (2003)