Software Engineering: Specification, Implementation, Verification - Alagić, Suad (Springer International Publishing, 2020)