B 129.885 IW N i v a t, MI I IHrsg.1 s. Automata, Languages and Programming. 1973.