Enviar aquest missatge de text: Proving programs correct / Robert B. Anderson.