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