A Modern Perspective on Type Theory From its Origins until Today - Kamareddine, Fairouz (Springer Science + Business Media, Inc., 2005)