APA (7th ed.) Citation

Paige, R. A. (1981). Formal differentiation: A program synthesis technique. UMI Research Press.

Chicago Style (17th ed.) Citation

Paige, Robert A. Formal Differentiation: A Program Synthesis Technique. Ann Arbor, Mich.: UMI Research Press, 1981.

MLA (9th ed.) Citation

Paige, Robert A. Formal Differentiation: A Program Synthesis Technique. UMI Research Press, 1981.