Real Time Programming Languages
Specification and Verification2010 年出版245 页ISBN:9810225667
Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
1993 年出版312 页ISBN:0897915933
INTRODUCTION TO PROGRAMMING WITH ++
(美) 梁(Liang.Y.D.)著2008 年出版643 页ISBN:9787111239963