Software Arts 1983. Numerical constraint-oriented language. "The TK!Solver Book", M. Konopasek et al, McGraw-Hill 1984.

In addition suitable contents:
[ ag ] [ ai ] [ al ] [ an ] [ ar ] [ as ] [ aw ] [ B ] [ ca ] [ co ] [ con ] [ cons ] [ constraint ] [ ed ] [ er ] [ et ] [ G ] [ ge ] [ gu ] [ h ] [ ie ] [ il ] [ in ] [ int ] [ K ] [ la ] [ language ] [ lv ] [ M ] [ N ] [ ng ] [ no ] [ ns ] [ op ] [ pa ] [ re ] [ S ] [ se ] [ Solve ] [ st ] [ T ] [ tr ] [ tw ] [ ua ] [ um ] [ ve ]