TK!Solver

Software Arts, 1983

A numerical constraint-oriented language.

"The TK!Solver Book", M. Konopasek et al, McGraw-Hill 1984.