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