bibliographic details : MODEL THEORY :