A Relational Theory of Computing
Eiffel Object-Oriented Programming
Computing in Systems Described by Equations (Lecture Notes in Computer Science, 58)
Theory of Program Structures: Schemes, Semantics, Verification (Lecture Notes in Computer Science, 36)
Architecture of Distributed Computer Systems (Lecture Notes in Computer Science, 77)
Sinclair ZX Spectrum Programmieren leichtgemacht
Weitere Kniffe und Programme mit dem ZX Spectrum
Logic and Structure (Universitext)
Ultra-Fast Silicon Bipolar Technology (Springer Series in Electronics and Photonics)
Parallel Algorithms for Machine Intelligence and Vision (Symbolic Computation)