The notion of a Framework and a framework for LTC - Paul F. Mendler; Peter Aczel (LICS, 1988)