A Calculus of Transformation (1994)

by B. Wolff, H. Shi