Obrenović, N., Popović, A., Aleksić, S., & Luković, I. (2012). Transformations of Check Constraint PIM Specifications. Computing and Informatics, 31(5), 1045–1079. https://cai.type.sk/content/2012/5/transformations-of-check-constraint-pim-specifications/