Lecture Notes in Computer Science 2986 Programming Languages and Systems 13th European Symposium on
ESOP 20042004 年出版417 页ISBN：3540213139
Lecture Notes in Computer Science 2028 Programming Languages and Systems 10th European Symposium on
ESOP 20012001 年出版433 页ISBN：3540418628
Lecture Notes in Computer Science 3444 Programming Languages and Systems 14th European Symposium on
ESOP 20052005 年出版439 页ISBN：3540254358
Lecture Notes in Computer Science 4421 Programming Languages and Systems 16th European Symposium on
ESOP 20072007 年出版538 页ISBN：9783540713142
Lecture Notes in Computer Science 3924 Programming Languages and Systems 15th European Symposium on
ESOP 20062006 年出版343 页ISBN：354033095X
COMPUTER PROGRAMMING AND FORMAL SYSTEMS
P. BRAFFORT AND D. HIRSCHBERG1963 年出版161 页ISBN：
Systems programming and operating systems 第2版修订版
达赫姆汗（DhamdhereD.M.）著2001 年出版658 页ISBN：7302043140
Assembler Language Programming:Systems/360 and 370
1975 年出版512 页ISBN：0574191607
