BOLLIG,B FORMAL MADELS OF COMMUNICATING SYSTEMS:LANGUAGES,AUTOMATA AND MONADIC SECOND ORD - VERLAG Springer 2006 - ix+181p.,24x16cms. ISBN: 3540329226 Dewey Class. No.: 621.38195404 B694