Legislação
Artigo 817.º – Princípio geral
Não sendo a obrigação voluntariamente cumprida, tem o credor o direito de exigir judicialmente o seu cumprimento e de executar o património do devedor, nos termos declarados neste código e nas leis de processo.