Formal Methods Teaching - Brijesh Dongol, Luigia Petre, Graeme Smith (Springer, 2019)