The Sequence Programming Construct Definition