Godoy, Javier, et al. “Enabledness-Based Testing of Object Protocols”. JAIIO, Jornadas Argentinas De Informática, vol. 8, no. 3, Dec. 2022, pp. 63-63, https://revistas.unlp.edu.ar/JAIIO/article/view/18418.