Huet Gerard <br/><br/>
Logical Frameworks 
/ by Gerard Huet 
 - New York  Cambridge University  1991 
 - 403p.