BibTex format
@article{Doering:2008:10.1063/1.2883740,
author = {Doering, A and Isham, CJ},
doi = {10.1063/1.2883740},
journal = {JOURNAL OF MATHEMATICAL PHYSICS},
title = {A topos foundation for theories of physics:: I.: Formal languages for physics},
url = {http://dx.doi.org/10.1063/1.2883740},
volume = {49},
year = {2008}
}