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