@article{publication-3422,
	author={Fuchs, Norbert E.},
	journal={Structured Programming},
	number=3,
	title={Hoare Logic, Executable Specifications and Logic Programs.},
	volume=13,
	year=1992,
}