Obrenovic, N. et al. 2012. Transformations of Check Constraint PIM Specifications. Computing and Informatics. 31, 5 (Nov. 2012), 1045–1079.