1. The ML/I macro processor
2. Microprogramming and system architecture
3. ‘Computer architecture and microprogramming’, Universidad Politechnica de Barcelona.
4. ‘The best way to design an automatic calculation machine’, Report of Manchester University, Computer Inaugural Conference, Manchester, England (1951).
5. Macro Processors and Techniques for Portable Software, Wiley, New York, 1974.