Program Construction 1978: Marktoberdorf, Germany

The Thinking Programmer

Program Verification

Program Development by Transformation

Special Language Considerations and Formal Tools