Algorithmic learning of recursive languages - Lange, Steffen 1963- (Mensch-und-Buch-Verl., 2000)