Software Arts 1983. Numerical constraint-oriented language. "The TK!Solver Book", M. Konopasek et al, McGraw-Hill 1984.
Try this search on Wikipedia, OneLook, Google
Nearby terms: TK-90X « TK-95 « T. Kohonen « TK!Solver » TL0 » TL1 » TLA
Copyright 2010 Denis Howe
