ECE 659 Lecture 9: Landauer-Buttiker Formalism