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