David J. Pearce

• Bridgend 900
• Chinese by Numbers
• Proceedings of 16th Workshop on Formal Techniques for Java-Like Programs