Input Output Algebra