Fundamental structures of computer science - Wulf, William Allan (Addison-Wesley, 1981)