Sean McDirmid Wilson C. Hsieh Splice: Aspects That Analyze Programs. 19-38 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3286&spage=19 2004 conf/gpce/2004 GPCE db/conf/gpce/gpce2004.html#McDirmidH04