Miller, N. Euclid and his twentieth century rivals: Diagrams in the logic of Euclidean geometry - Stanford CSLI Publications 2007 - viii, 119p. - CSLI studies in the theory and applications of diagrams . ISBN: 1-575-86507-6