R. Gruszczyński and A. Pietruszczak, “Space, points and mereology. On foundations of point-free Euclidean geometry”, LLP, vol. 18, no. 2, pp. 145–188, Nov. 2009.