The Essentials of Programs - Revisited