Software blueprints lightweight uses of logic in conceptual modelling - Robertson, David; Agusti, Jaume (Addison-Wesley, 1999)