Enviar aquest missatge de text: Logic + control: On program construction and verification