Leif Ibsen A Portable Virtual Machine for Ada. 17-29 1984 14 Softw., Pract. Exper. 1 db/journals/spe/spe14.html#Ibsen84