Logical frameworks /
Huet, Gérard.
Plotkin, G.
Cambridge : Cambridge University Press,
1991.