BibTeX
@INPROCEEDINGS{
         Fateman2003Hlp,
       author = "Fateman, Richard",
       title = "High-level proofs of mathematical programs using automatic differentiation,
         simplification, and some common sense",
       booktitle = "Proceedings of the 2003 international symposium on Symbolic and algebraic
         computation",
       series = "ISSAC '03",
       year = "2003",
       isbn = "1-58113-641-2",
       location = "Philadelphia, PA, USA",
       pages = "88--94",
       numpages = "7",
       url = "http://doi.acm.org/10.1145/860854.860883",
       doi = "10.1145/860854.860883",
       acmid = "860883",
       publisher = "ACM",
       address = "New York, NY, USA",
       keywords = "Bessel, differentiation, proof, recurrence, sine",
       ad_area = "Program Verification"
}