Computational synthetic geometry. - Springer Verlag, 1989. - ( Lecture Notes in Mathematics ; 1355).