UChicago's honors introductory sequence uses it: http://cmsc-16100.cs.uchicago.edu/