"Escaping with Future Variables in HALO."

Charlotte Herzeel, Kris Gybels, Pascal Costanza (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics