William M. Waite An Executable Language Definition. 21-40 1993 28 SIGPLAN Notices 2 db/journals/sigplan/sigplan28.html#Waite93