（美）（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 in Java Second Edition
Sachin Malhotra ; Saurabh Choudhary2014 年出版662 页ISBN：019809485X
ELLEN PEARLMAN AND EILEEN MULLIN2004 年出版390 页ISBN：
OPTIMAL CONTROL BY MATHEMATICAL PROGRAMMING
DANIEL TABAK BENJAMIN C. KUO2222 年出版237 页ISBN：
