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