Ferruccio Damiani Elena Giachino Paola Giannini Alias Types and Effects for "Environment-aware" Computations. 63-107 2008 88 Fundam. Inform. 1-2 http://iospress.metapress.com/content/37pp4414r6263xr2/ db/journals/fuin/fuin88.html#DamianiGG08