Logic + control: On program construction and verification - Drabent, Włodzimierz (arXiv.org)