Return to Article Details An Interface Theory for Input/Output Automata Download Download PDF