Formal Methods - Nielson (Springer International Publishing, 2019)