（美）（S.R.戴维斯）Stephen R.Davis著；希望图书创作室译1999 年出版702 页ISBN：7980021460
COMPUTER PROGRAMMING AND FORMAL SYSTEMS
P. BRAFFORT AND D. HIRSCHBERG1963 年出版161 页ISBN：
PROBLEM SOLVING and COMPUTER PROGRAMMING
Peter Grogono Sharon H. Nelson2222 年出版284 页ISBN：
PROGRAMMING THE WEB:AN INTRODUCTION
BARRIE SOSINSKY AND VALDA HILLEY2004 年出版396 页ISBN：
ELLEN PEARLMAN AND EILEEN MULLIN2004 年出版390 页ISBN：
OPTIMAL CONTROL BY MATHEMATICAL PROGRAMMING
DANIEL TABAK BENJAMIN C. KUO2222 年出版237 页ISBN：
