De Nicola, Rocco and Segala, Roberto A Process Algebraic View of Input/Output Automata. Theoretical Computer Science, 138 (2). pp. 391-423. ISSN 0304-3975 (1995)