Text this: An Algebraic Theory of Interface Automata