I looked into Jackson Structured Programming a few years ago (bought a couple of books). I found it a useful model for thinking a software. In particular, Jackson's inductive approach to reasoning about ordinary loops has stuck with me.

And of course, who does'nt love a programming paradigm with simple diagrams and example code in COBOL? You can't beat it.

https://en.wikipedia.org/wiki/Jackson_structured_programming