Program Construction 1978: Marktoberdorf, Germany

The Thinking Programmer

Program Verification

Program Development by Transformation

Special Language Considerations and Formal Tools

maintained by Schloss Dagstuhl LZI at University of Trier