Expressiveness and the completeness of hoare's logic : (preprint)

@article{Bergstra1980ExpressivenessAT,
  title={Expressiveness and the completeness of hoare's logic : (preprint)},
  author={Jan A. Bergstra and J. V. Tucker},
  journal={J. Comput. Syst. Sci.},
  year={1980},
  volume={25},
  pages={267-284}
}
Highly Cited
This paper has 17 citations. REVIEW CITATIONS