The Definition and Implementation of a Computer Programming Language based on Constraints (1980)

by Steele Jr, L Guy