Larsen, K. G., Nyman, U. and Wasowski, A. (2006) “An Interface Theory for Input/Output Automata”, BRICS Report Series, 13(11). doi: 10.7146/brics.v13i11.21916.