Chiyan Chen Rui Shi Hongwei Xi Implementing Typeful Program Transformations. 103-121 2006 69 Fundam. Inform. 1-2 http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=69&issue=1&spage=103 db/journals/fuin/fuin69.html#ChenSX06