Describir: A logical analysis of information systems :