Classical B and Event B sections