Formal Techniques for Computer Systems and Business Processes - Bravetti, Mario (Springer Berlin Heidelberg, 2020)