Mogens Nielsen Klaus Havelund Kim Ritter Wagner Chris George The RAISE Language, Method and Tools. 85-114 1989 1 Formal Asp. Comput. 1 db/journals/fac/fac1.html#NielsenHWG89