Pierre Kelsen Qin Ma Domain Hierarchies: A Basic Theoretical Framework for Integrating Software Domains. 295-296 2009 TASE http://dx.doi.org/10.1109/TASE.2009.55 conf/tase/2009 db/conf/tase/tase2009.html#KelsenM09