Computational synthetic geometry - Bokowski, Jurgen (Lecture notes in mathematics (Springer-Verlag), 1989)