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

Languages mentioned

• TK!Solver {1983}