BibTeX
@INCOLLECTION{
         Thames1991SCA,
       author = "Joseph M. Thames",
       editor = "Andreas Griewank and George F. Corliss",
       title = "Synthetic Calculus --- {A} Paradigm of Mathematical Program Synthesis",
       booktitle = "Automatic Differentiation of Algorithms: Theory, Implementation, and Application",
       pages = "263--272",
       publisher = "SIAM",
       address = "Philadelphia, PA",
       key = "Thames1991SCA",
       crossref = "Griewank1991ADo",
       referred = "[Jued91a].",
       isbn = "0--89871--284--X",
       year = "1991"
}