Neural and Concurrent Real-Time Systems The Sixth Generation
1989 年出版387 页ISBN：0471508896
Concurrent Hardware The Theory and Practice of Self-timed Design
1994 年出版368 页ISBN：0471935360
Lecture Notes in Computer Science 469 Semantics of Systems of Concurrent Processes
1990 年出版456 页ISBN：3540534792
META-PROGRAMMING IN LOGIC PROGRAMMING
HARVEY ABRAMSON AND M.H.ROGERS2222 年出版545 页ISBN：0262510472
Pascal Programming Structures an introduction to systematic programming
1980 年出版314 页ISBN：0835954633
PROGRAM DERIVATION THE DEVELOPMENT OF PROGRAMS FORM SPECIFICATIONS
GEOFF DROMEY2222 年出版630 页ISBN：
PROGRAMMING BY DESIGN A FIRST IN STRUCTURED PROGRAMMING
PHILIP L.MILLER1987 年出版0 页ISBN：
Programming Primer A Graphic Introduction to Computer Programming
with BASIC and Pascal1982 年出版520 页ISBN：
