Fundamental structures of computer science - Wulf, William A; Shaw, Mary; Hilfinger, Paul N & Flon, Lawrence (Addison-Wesley Pub, California, 1981)