Logical vs. behavioural specifications
scientific article