CIP Methods of Programming 1991

Part 1: Development Models and Reusability

Part 2: Deductive Program Development

Part 3: Case Studies in Development

a service of Schloss Dagstuhl - Leibniz Center for Informatics