Property Specifications for Workflow Modelling (Science of Computer Programming, 2010)

(untitled) - Wong, P; Gibbons, J