Mitchell Wand A Short Proof of the Lexical Addressing Algorithm. 1-5 1990 35 Inf. Process. Lett. 1 db/journals/ipl/ipl35.html#Wand90