Tretkoff, Carol Mcallon, Ken Optimization and computational logic - New York John Wiley 1996 - xi,535p.,With Floppy S.No.154 Dewey Class. No.: 519.72 / M50O