Einführung in die strukturelle Automatentheorie - Bochmann, Dieter 1938- (Hanser, 1975)