A survey of mechanical support for formal reasoning

@article{Lindsay1988ASO,
  title={A survey of mechanical support for formal reasoning},
  author={Peter A. Lindsay},
  journal={Software Engineering Journal},
  year={1988},
  volume={3},
  pages={3-27}
}