Open-source version of 2008 textbook "Invariants: a Generative Approach to Programming"
This is a great book! I find it the most readable of the books aiming to explain invariants and how they can be used to develop correct loops. I hope this helps to make invariants more accessible to programmers. Thank you for making it available.