3 Background to Behavior Specifications