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