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