Niels LohmannBooksBusiness Process Management WorkshopsWeb Services and Formal MethodsAuthor data: Open Library