1. The Design of Well-Structured and Correct Programs;Alagić,1978
2. Software Reflected: The Socially Responsible Programming of Our Computers;Baber,1982
3. The Spine of Software: Designing Provably Correct Software — Theory and Practice;Baber,1987
4. “Software engineering” vs. software engineering;Baber,1989
5. Epilogue: Future Developments;Baber,1991