M. H. van Emden

• An analysis of complexity
• Elements of Programming