Estévez, E. C., & Fillottrani, P. R. (2002). Bisimulation for component-based development. Journal of Computer Science and Technology, 1(06), 14 p. Retrieved from https://journal.info.unlp.edu.ar/JCST/article/view/971