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

by G L Steele