Computational logic : essays in honor of Alan Robinson /
Lassez, Jean-Louis.
Plotkin, Gordon.
Cambridge, Mass. : The MIT Press,
1991.