A rigorous methodology for specification and verification of business processes
scientific article; zbMATH DE number 5633142
scientific article