https://1library.org/document/qmj9rwp4-formal-software-design-technique-a-pattern-based-approach.html