author : Mary Sheeran

Books

• Designing Correct Circuits. 1991, with Geraint Jones

Short works

• Functional hardware description in Lava. 2003. (In The Fun of Programming )