Collection. - George Havas; Tim Nicholson (SYMSACC, 1976)

A Denotational Semantics for Prolog. - Tim Nicholson; Norman Y. Foo (ACM Trans. Program. Lang. Syst., 1989)