Fundamental structures of computer science - Shaw, Mary; Hilfinger, Paul N.; Flon, Lawrence (Addison-Wesley, 1981)