Input-Output Formalism