https://zapapejunehavitev.lowdowntracks4impact.com/formal-approaches-to-software-testing-book-13735dw.php