Estévez, E.C. and Fillottrani, P.R. 2002. Bisimulation for component-based development. Journal of Computer Science and Technology. 1, 06 (May 2002), 14 p.