Eric Melz André Valente Modeling the Tax Code. 652-661 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3292&spage=652 2004 conf/otm/2004 OTM Workshops db/conf/otm/otm2004.html#MelzV04