Larsen, Kim G., Ulrik Nyman, and Andrzej Wasowski. “An Interface Theory for Input/Output Automata”. BRICS Report Series 13, no. 11 (June 12, 2006). Accessed May 3, 2024. https://tidsskrift.dk/brics/article/view/21916.