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