Estévez, Elsa Clara, and Pablo Rubén Fillottrani. 2002. “Bisimulation for Component-Based Development”. Journal of Computer Science and Technology 1 (06):14 p. https://journal.info.unlp.edu.ar/JCST/article/view/971.