The Essence of Program Control Structures