Logical environments - Huet, Gerard.; Plotkin, G. (Gordon), 1946-. (Cambridge University Press, 1993)