Walid Taha Patricia Johann Staged Notational Definitions. 97-116 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2830&spage=97 2003 conf/gpce/2003 GPCE db/conf/gpce/gpce2003.html#TahaJ03