A Discipline of Programming
Buy this book at Amazon.com or try Amazon.co.uk in England, Amazon.ca in Canada, Amazon.de in Germany, Amazon.fr in France, Amazon.it in Italy, Amazon.es in Spain. ASIN=013215871X, Category: Software Design, Language: E, cover: PB, pages: 217, year: 1976.
Niklaus Wirth found out that it is better not to include concurrency into a language and became almost as minimalist as his friend Dijkstra who tought programming using a language that didn't even need a compiler! - by using assertions, the proof of program's correctness is part of its development.
As a reviewer of this book, Ganapathy Subramaniam, aptly stated on the corresponding book page at amazon.com, quote:
- It looks at programs from as formal a view point as possible and builds a framework for
constructing 'correct' programs..or more correctly a framework for 'proving the correctness'
of a program. It takes you to the point of considering programs as poetry..