Modelagem e descrição formal das fontes do direito como infraestrutura de um sistema de gerenciamento de conhecimento legal. Documento