Georgia Tech has/had its own publishing company. They actually encouraged their faculty to write books like this. I can't seem to find any information about it, but I swear it was there when I took classes in the late 1990s.