Larsen KG, Nyman U, Wasowski A. An Interface Theory for Input/Output Automata. BRICS [Internet]. 2006 Jun. 12 [cited 2024 May 3];13(11). Available from: https://tidsskrift.dk/brics/article/view/21916