Remove debug comments
Added project formal paper