The de and implementation of a computer programming language based on constraints (1980)

by G L Steele