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

by Steele Jr, G L