1. E. Serna and A. Serna, “La especificación formal en contexto: actual y futuro,” in Serna E., Ed., Métodos Formales, Ingeniería de Requisitos y Pruebas del Software, Medellín, Colombia: Editorial Instituto Antioqueño de Investigación, 2021, pp. 124-138.
2. E. Serna, “Formal methods and Software Engineering,” Rev. Virtual Univ. Católica del Norte, vol. 30, pp. 158-164, 2010.
3. M. Bolstad, “Design by contract: A simple technique for improving the quality of software,” in 31st Annual Int. Symp. Comp. Arch., München, Germany, 2004. https://doi.org/10.1109/DOD_UGC.2004.10
4. E. Serna, “Analysis and selection to requirements elicitation techniques,” in 7th Col. Comp. Cong., Medellín, Colombia, 2012. https://doi.org/10.1109/ColombianCC.2012.6398001
5. A. Davis, P. Davis, and H. Davis, Great software debates, New York, USA: John Wiley & Sons, 2004.