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