Software blueprints Light-weight uses of logic in conceptual modelling - RobertsonlhDavid ( David S. )