Iterative construction of data modelling language semantics. - Richard Botting (1997)