APA (7th ed.) Citation

Paulson, L. C. (1993). Co-induction and co-recursion in higher-order logic.

Chicago Style (17th ed.) Citation

Paulson, Lawrence C. Co-induction and Co-recursion in Higher-order Logic. Cambridge, 1993.

MLA (9th ed.) Citation

Paulson, Lawrence C. Co-induction and Co-recursion in Higher-order Logic. 1993.