Michael L. Perry has built upon the works of mathematicians such as Bertrand Meyer, Leslie Lamport, and Donald Knuth to develop a mathematical system for software development. He has captured this system in a set of open source projects. Michael often presents on math and software at events and online. You can find out more at qedcode.com.
“Immutable architecture is something to watch and learn from, and the author succeeds in presenting it very well.” (A. Mariën, Computing Reviews, August 19, 2021)