Kenneth N. Brown: Conceptual geometric reasoning in artificial intelligence and engineering. University of Bristol, UK 1991