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