@inproceedings{DBLP:conf/lics/HoareG88,
  title = "Partial Correctness of C-MOS Switching Circuits: An Exercise in Applied Logic",
  author = "C. A. R. Hoare and Michael J. C. Gordon",
  year = "1988",
  booktitle = "Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), Edinburgh, Scotland, UK, July 5-8, 1988",
  pages = "28-36",
  publisher = "IEEE Computer Society",
  doi = "10.1109/LICS.1988.5098",
}