Business Process Management WorkshopsNiels Lohmann, Minseok Song, Petia Wohed · First published 2014Open the Tome
Web Services and Formal MethodsMaurice H. ter Beek, Niels Lohmann · First published 2013Open the Tome
