Formal methods : an appetizer - Nielson, Flemming, 1955- (Springer, 2019)