Designing Correct Circuits: Workshop Jointly Organised by the Universities of Oxford and Glasgow 26-28 September 1990, Oxford (Workshops in Computin) by Geraint Jones | Menrva Books | MenrvaBooks