Improve introduciton, by adding reference to behavioural specification