Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders
Communicating Sequential Processes. The First 25 Years
- 2005
978-3-540-32265-8
Logics and Meanings of Programs
Programming Techniques
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science