George, C., & Haxthausen, A. E. (2003). The Logic of the RAISE. Computing and Informatics, 22(3-4), 323–350. https://cai.type.sk/content/2003/3-4/the-logic-of-the-raise/