Steele, Guy Lewis Jr., "The Definition and Implementation of a Computer Programming Language Based on Constraints", MIT Artificial Intelligence Laboratory TR-595, August 1980

(1980)

Languages mentioned