Designing correct circuits /
Evans, Geraint,1957-
Sheeran, Mary,1959-
British Computer Society.
University of Glasgow.
University of Oxford.
London : Springer,
1991.