@article{instance1602,
	 title = {{Hoare Logic, Executable Specifications and Logic Programs.}},
	 author = {Norbert E. Fuchs},
	 year = {1992},
	 journal = {Structured Programming},
	 volume = {13},
	 number = {3},
	 Date-Added = {2026-08-02 22:38:36},
	 Date-Modified = {2026-08-02 22:38:36}
}