He is the author (with Paul McJones) of [http://www.elementsofprogramming.com/ Elements of Programming], a book that grew out of a "Foundations of Programming" course that Stepanov taught at Adobe Systems (while employed there). He is also the author (with Daniel E. Rose) of [http://fm2gp.com From Mathematics to Generic Programming].