I had to dig it up out of my order history for you. Here is the HOS book. I've included a preview link that shows the Table of Contents. System Design from Pro

I had to dig it up out of my order history for you. Here is the HOS book. I've included a preview link that shows the Table of Contents. System Design from Provably Correct Constructs: The Beginnings of True Software Engineering by James Martin https://www.amazon.com/gp/product/013881483X/ref=ppx_yo_dt_b_search_asin_title?ie=UTF8&psc=1 https://www.amazon.com/gp/product/013881483X/ref=ppx_yo_dt_b... https://archive.org/details/systemdesignfrom00mart/page/n3/mode/2up https://archive.org/details/systemdesignfrom00mart/page/n3/m... Now, if you want a practical method, the best were Design by Contract, Cleanroom Software Engineering, and Praxis' Correct by Construction. Cleanroom and CbyC hit very, low, defect rates. DbyC was highly pragmatic in balancing developer productivity, ease of adoption, and correctness. I think they'd all be even better combined with functional programming, static, test generators, etc. that we now have. In any case, here's links to descriptions of and books on some of those methods. Design by Contract article https://www.win.tue.nl/~wstomv/edu/2ip30/references/design-by-contract/index.html https://www.win.tue.nl/~wstomv/edu/2ip30/references/design-b... Overview of Cleanroom Method https://ifs.host.cs.st-andrews.ac.uk/Books/SE9/Web/Cleanroom/ https://ifs.host.cs.st-andrews.ac.uk/Books/SE9/Web/Cleanroom... Book teaching Cleanroom https://www.amazon.com/gp/product/0201385953/ref=ppx_yo_dt_b_search_asin_title?ie=UTF8&psc=1 https://www.amazon.com/gp/product/0201385953/ref=ppx_yo_dt_b... Overview of Praxis Correct by Construction https://elsmar.com/pdf_files/A%20Manifesto%20for%20High-Integrity%20Software.pdf https://elsmar.com/pdf_files/A%20Manifesto%20for%20High-Inte... Book teaching SPARK Ada with some CbyC https://www.amazon.com/gp/product/1107656842/ref=ppx_yo_dt_b_search_asin_title?ie=UTF8&psc=1 https://www.amazon.com/gp/product/1107656842/ref=ppx_yo_dt_b... Abstract, State Machines and the B Method had many successful, industrial uses. There's many papers on them.