Reynoso, L. A., A. Buccella, A. P. Flores, and G. N. Aranda. “Component-Based Tool for Verifying Applications Using Object-Oriented Patterns”. Journal of Computer Science and Technology, vol. 2, no. 01, Oct. 2002, pp. p. 42-48, https://journal.info.unlp.edu.ar/JCST/article/view/961.