Lars Marius Garshol A Theory of Scope. 74-85 2007 TMRA http://dx.doi.org/10.1007/978-3-540-70874-2_9 conf/tmra/2007 db/conf/tmra/tmra2007.html#Garshol07a