Computer Science. A Mathematical Introduction (Art Lew)