Michiel Frishert Loek G. Cleophas Bruce W. Watson FIRE Station: An Environment for Manipulating Finite Automata and Regular Expression Views. 125-133 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3317&spage=125 2004 conf/wia/2004 CIAA db/conf/wia/ciaa2004.html#FrishertCW04