====== The Definition and Implementation of A Computer Programming Language based on Constraints ======

This work is the doctoral thesis of [[:category:people:guy_l_steele_jr|Guy L. Steele Jr.]]