@article{integrals-valuations,
        title = "Integrals and Valuations",
        author = "Thierry Coquand and Bas Spitters",
        year = "2009",
        journal = "Journal of Logic and Analysis",
        url = "http://www.logicandanalysis.org",
       volume=1,
       number=3,
       pages={1--22},
      issn={1759-9008},
        doi={doi:10.4115/jla.2009.1.3}
}