Theory of Program Structures: Schemes, Semantics, Verification (Lecture Notes in Computer Science, 36)
Mathematical Theories of Optimization: Proceedings of the International Conference Held in S. Margherita Ligure (Genova), November 30 - December 4, ... 979) (English and French Edition)
Computing in Systems Described by Equations (Lecture Notes in Computer Science, 58)
Relational Methods for Computer Science Applications
Relations and Graphs Discrete Mathematics for Computer Scientists
A Basis for Theoretical Computer Science (Monographs in Computer Science)
A Connotational Theory of Program Structure
Berechnungstheorie für Informatiker
Relational Database Technology
Computations in Higher Types (Lecture Notes in Mathematics, 574)