@article{DBLP:journals/tcs/Hoare91,
  title = "A Theory for the Derivation of Combinational C-MOS Circuit Designs",
  author = "C. A. R. Hoare",
  year = "1991",
  journal = "Theor. Comput. Sci.",
  number = "1",
  pages = "235-251",
  volume = "90",
  doi = "10.1016/0304-3975(91)90309-P",
}