C. F. M. Vermeulen Variables as Stacks. 143-167 2000 9 Journal of Logic, Language and Information 2 db/journals/jolli/jolli9.html#Vermeulen00