A Discipline of Programming
Edsger W. Dijkstra
Find this book at buch7.de | eurobuch.com | buchhandel.de | books.google.com 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. ZZ