Micha Sharir Some Observations Concerning Formal Differentiation of Set Theoretic Expressions. 196-225 1982 4 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/357162.357166 db/journals/toplas/toplas4.html#Sharir82