Zoran Majkic Michael Sipser R. Radha Daming Wei International Conference on Theoretical and Mathematical Foundations of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008 978-1-60651-006-3 ISRST TMFCS db/conf/tmfcs/tmfcs2008.html 2008