Designing Correct Circuits:
Workshop Jointly Organised by the Universities of Oxford and Glasgow 26-28 September 1990, Oxford

by Geraint Jones, Mary Sheeran, British Computer Society