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