APA Style

Paulson, L, C. (). Foundations of Functional Programming Computer Science Tripos Part IB Easter Term . : .

MLA Style

Paulson, Lawrence, C. "Foundations of Functional Programming Computer Science Tripos Part IB Easter Term". : , . Information Technology.