Larsen, Kim G., et al. “An Interface Theory for Input Output Automata”. BRICS Report Series, vol. 13, no. 11, June 2006, doi:10.7146/brics.v13i11.21916.