Intelligent image processing in Prolog - Batchelor, Bruce G. 1943- (Springer, 1991)