Department of Systems and Computer Engineering at Carleton University
SYSC 2006: Foundations of Imperative Programming