Formal Methods An Appetizer - Nielson, Flemming; Nielson, Flemming; Riis Nielson, Hanne (Springer International Publishing : Imprint: Springer, 2019)