Үүнийг мессежээр илгээх: The logical basis for computer programming