B 137.76732 Bucher,H /Mitarb./ s. Description, Concise, of finite 1anguages 1979.