@article{Cohn,
author={Avra Cohn },
title="The notion of proof in Hardware Verification",
journal="Journal of Automated Reasoning",
volume={5},
number={2},
year={1989},
page={127-140}
}
@incollection{Viper,
author={Avra Cohn },
title="A Proof of Correctness of the Viper Microprocessor: The First Level",
booktitle="VLSI Specification and Synthesis",
editor="Graham Birtwistle and P.A. Subrahmanyam",
publisher="Kluwer",
year={1988},
page={27-72}
}