Axiomatic projective geometry - Heyting, A. (Amsterdam North-Holland Publishing Company, 1980)