Volker Diekert, Mikhail V. Volkov, Andrei Voronkov Computer Science – Theory and Applications - Germany Springer 2007 ISBN: 978-3-540-74510-5 Subjects--Topical Terms: Computer ScienceComputer Science – Theory and Applications