Hellis Tamm Matti Nykänen Esko Ukkonen Size Reduction of Multitape Automata. 307-318 2005 conf/wia/2005 CIAA http://dx.doi.org/10.1007/11605157_26 db/conf/wia/ciaa2005.html#TammNU05