isa-c-freire documents