Title: Logical Frameworks, Author: Gerard Huet
Title: Cad Frameworks: Principles and Architecture, Author: Pieter van der Wolf