Formalizing the Get-Specific Document Classification Algorithm