«Detecting and Classifying Nonconformances in Code Contracts with ContractOK», ECOP, vol. 2, fasc. 5, mar. 2022, Consultato: ott. 02, 2026. Disponibile su: https://periodicos.ufersa.edu.br/index.php/ecop/article/view/11161