G. Yaikhom, Atkinson, M., van Hemert, J., Corcho, O., and Krause, A.,
“Validation and mismatch repair of workflows through typed data streams”,
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 369, no. 1949, pp. 3285-3299, 2011.