Estévez, E. C., and P. R. Fillottrani. “Bisimulation for Component-Based Development”. Journal of Computer Science and Technology, vol. 1, no. 06, May 2002, p. 14 p., https://journal.info.unlp.edu.ar/JCST/article/view/971.