Mark E. M. Stewart Automated Analysis of Scientific and Engineering Semantics. 113-114 2001 conf/iwpc/2001 IWPC http://computer.org/proceedings/iwpc/1131/11310113abs.htm db/conf/iwpc/iwpc2001.html#Stewart01