• EffortForIndivFormaliz-1 ( .ps .tex)
• IndividualFormalization-1
  • indPS ( .ps .txt)