On verification issues in conceptual modelling of workflow processesby Wasim SadiqWorkflowWriting a summary for young readers…For young readersBook data: Open Library