1. Solid state technology and the computer: 40 Years later small is still beautiful;Solid State Technology,1987
2. The impact of the lambda calculus in logic and computer science;Bulletin of Symbolic Logic,1997
3. Microelectronics in the United Kingdom,1968
4. Engineering practice from the perspective of methodical constructivism and culturalism,2021