George, C. and Haxthausen, A.E. 2012. The Logic of the RAISE Specification Language. Computing and Informatics. 22, 3-4 (Feb. 2012), 323–350.