BibTeX
@INPROCEEDINGS{
         Smith2007Adi,
       author = "Smith, Jacob and Dos Reis, Gabriel and J{\"a}rvi, Jaakko",
       title = "Algorithmic differentiation in Axiom",
       booktitle = "Proceedings of the 2007 international symposium on Symbolic and algebraic
         computation",
       series = "ISSAC '07",
       year = "2007",
       isbn = "978-1-59593-743-8",
       location = "Waterloo, Ontario, Canada",
       pages = "347--354",
       numpages = "8",
       url = "http://doi.acm.org/10.1145/1277548.1277595",
       doi = "10.1145/1277548.1277595",
       acmid = "1277595",
       publisher = "ACM",
       address = "New York, NY, USA",
       keywords = "algorithmic differentiation, axiom, program transformation, symbolic-numeric
         computation",
       ad_theotech = "Implementation Strategies"
}