Title: Formal Techniques for Computer Systems and Business Processes
Subjects: Business, data processing