Fall 2000, CSE 520: Science of Computer Programming