Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN：3540112103
Lecture Notes in Aetificial Intelligence 3392 Applications of Declarative Programming and Knowledge
INAP 20042005 年出版309 页ISBN：3540255605
THE ART OF COMPUTER PROGRAMMING VOLUME 3：SORTING AND SEARCHING （SECOND EDITION）
[美]DONALD E.KNUTH著2008 年出版780 页ISBN：
concepts of programming languages fifth edition=程序设计语言原理 英文版 第5版
robert w.sebesta著2003 年出版705 页ISBN：7111101618
Programmers and Managers The Routinization of Computer Programming in the United States
1977 年出版116 页ISBN：0287902481
PASCAL:AN INTRODUCTION TO THE ART AND SCIENCE OF PROGRAMMING FOURTH EDITION
WALTER SAVITCH1995 年出版673 页ISBN：0805374582
Lecture Notes in Computer Science 4010 Unifying Theories of Programming First International Symposiu
UTP 20062006 年出版257 页ISBN：354034750X
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN：
FUNDAMENTALS OF STRUCTURED PROGRAMMING USING FORTRAN WITH SF/K AND WATFIV-S
R.C.HOLT AND J.N.P.HUME1977 年出版349 页ISBN：0879093021
