TK! sovler user's handbooks (Weber Systems, 1984)