Hoare Logic, Executable Specifications and Logic Programs.

Norbert E. Fuchs Hoare Logic, Executable Specifications and Logic Programs. 129-135 1992 13 Structured Programming 3 db/journals/stp/stp13.html#Fuchs92