Ngā tūemi rite: Philosophy of Logic : foundations of philosophy
- Knowledge representation:logical, philosophical and computational foundations
- Symbolic Logic and the real number system : an introduction to the foundations of number systems
- Programmable logic controllers:principles and applications
- Foundation design manual
- Advanced foundation engineering
- Logic and prolog programming