G. Yaikhom, M. Atkinson, J. van Hemert, O. Corcho, and A. Krause,
“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.