BibTeX
@ARTICLE{
         Karczmarczuk2001FDo,
       author = "Karczmarczuk, Jerzy",
       title = "Functional Differentiation of Computer Programs",
       journal = "Higher Order Symbolic Computing",
       volume = "14",
       issue = "1",
       month = "March",
       year = "2001",
       issn = "1388-3690",
       pages = "35--57",
       numpages = "23",
       acmid = "609227",
       publisher = "Kluwer Academic Publishers",
       address = "Hingham, MA, USA",
       keywords = "Haskell, arithmetic, differentiation, lazy semantics",
       ad_theotech = "Functional Programming"
}