report in progresse, structure changed and formal algorithm style added