E. Hilf, M. Kohlhase, H. Stamerjohanns, J. Borwein, und W. Farmer. Volume 4108 von Lecture Notes in Computer Science, Kapitel Capturing the Content of Physics: Systems, Observables, and ExperimentsMathematical Knowledge Management, Seite 165--178. Springer Berlin / Heidelberg, (2006)