Hafer T. Automaten und Logiken uber unendlichen Baumen : Diss. / T.Hafer, 1989. - 116 S. - Текст : непосредственный.