26182 Bernd Steinbach/Christian Posthoff: Boolean differential calculus.
In 21782 Sasao/, 55-78.