Eureka, the solver : owner's handbook (Borland International, 1987)