Constructie en verificatie van programma 's door R.C. Backhouse