Artificial intelligence A theoretical approach - Banerji, Ranan Bihari 1928- (North Holland, 1980)