A. Correa, C. Werner, and M. Barros. "Enhancing the Understandability of OCL Specifications", in Anais do XXI Simpósio Brasileiro de Engenharia de Software, João Pessoa, 2007, pp. 22-38, doi: https://doi.org/10.5753/sbes.2007.21297.