Introducing Software Verification with Dafny Language - Boro Sitnikovski (Springer, 2022)