Obrenovic, N. et al. 2012. Transformations of Check Constraint PIM Specifications. COMPUTING AND INFORMATICS. 31, 5 (Nov. 2012), 1045–1079.