Voltar aos Detalhes do Artigo Formal specification and modeling of a project-oriented fractal company using situation calculus Baixar Baixar PDF