POP-11 programming for artificial intelligence - Burton, Mike 1959- (International computer science series, 1987)