E. Hilf, M. Kohlhase, H. Stamerjohanns, J. Borwein, и W. Farmer. том 4108 из Lecture Notes in Computer Science, глава Capturing the Content of Physics: Systems, Observables, and ExperimentsMathematical Knowledge Management, стр. 165--178. Springer Berlin / Heidelberg, (2006)