A theory for conceptual modelling of evolving application domains by H.A. Proper