Andreas Krall The Vienna Abstract Machine. 85-106 1996 29 J. Log. Program. 1-3 db/journals/jlp/jlp29.html#Krall96