COMPUTER PROGRAMMING AND ARCHITECTURE:THE VAX SECOND EDITION
HENRY M.LEVY RICHARD H.ECKHOUSE1980 年出版444 页ISBN：1555580157
BASIC BY DESIGN Structured Computer Programming in BASIC
1983 年出版489 页ISBN：0130602698
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN：3540112103
PROGRAMMING ABSTRACTIONS IN C A SECOND COURSE IN COMPUTER SCIENCE
[美]ERIC S.ROBERTS著2004 年出版819 页ISBN：
A FIRST COURSE IN COMPUTER PROGRAMMING USING PASCAL
ARTHUR M.KELLER1982 年出版306 页ISBN：0070335087
Lecture Notes in Computer Science 244 Advanced Programming Environments
1986 年出版604 页ISBN：3540171894
Computer Aided Design of Plasticating Screws Programs in FORTRAN AND BASIC
1986 年出版134 页ISBN：3466143319
Lecture Notes in Computer Science 106 The Programming Language Ada
1980 年出版243 页ISBN：3540106936
THE ART OF COMPUTER PROGRAMMING VOLUME 1：FUNDAMENTAL ALGORITHMS （THIRD EDITION）
[美]DONALD E.KNUTH著2008 年出版650 页ISBN：
