, 2011, Projective geometric theorem proving with Grassmann–Cayley algebra, in S. Russ & J. Liesen (eds.), From Past to Future: Graßmann's Work in Context, Dordrecht, Springer, pp. 275-285.