author : Geraint Jones

Books

• Designing Correct Circuits. 1991, with Mary Sheeran

Short works

• On guards. 1988. (In Parallel Programming of Transputer Based Machines )
• Program optimisation, naturally. 2000. (In Millennial Perspectives in Computer Science )