Methods of Programming 1991

Part 1: Development Models and Reusability

Part 2: Deductive Program Development

Part 3: Case Studies in Development

maintained by Schloss Dagstuhl LZI, founded at University of Trier