Fundamental structures of computer science - Wulf, William A (Addison-Wesley Pub, California, 1981)