Jocula - an instructive compiler. - Robert E. Buckley; Jan B. Hext (ACSE, 1996)