Errata

to W. Drabent. Logic + control: On program construction and verification. Theory and Practice of Logic Programming 18(1):1-29. DOI: 10.1017/S1471068417000047.

page 13, paragraph 2 line -2
"correctness-preserving" should be "semantics-preserving"