1. ECI 1976: Amsterdam, The Netherlands

Computer Architecture and Computer Systems Structure

Concepts and Techniques of Data Base Management

Program Development and Program Verification