Barbosa LS.? 2003.??Towards a Calculus of State-based Software Components. Journal of Universal Computer Science. 9:891-909.