Logical environments /
Huet, Gérard.
Plotkin, G.(Gordon),1946-
Cambridge : Cambridge University Press,
1993.