ACM Computing Surveys September 97, Vol 29, no 3 p 213 Programming Languages for Mobile Code by Tommy Thorn Java, Limbo, Objective Caml, Obliq, Safe-Tcl, Telescript p 240 How to Declare an Imperative by Philip Wadler