1. Structure and behaviour in hardware verification;Higher Order Logic Theorem Proving and Its Applications;1994
2. Performance Specification and Measurement;Computer Hardware Description Languages and their Applications;1993
3. A model for microarchitecture structure evaluation;ACM SIGMICRO Newsletter;1989-08
4. An Integrated Logic Design Environment Based on Behavioral Description;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;1987-05
5. The generation of simulator-based systems for microcode development;ACM SIGMICRO Newsletter;1984-12