This chapter contains sections titled: Formal Systems: Some Background, Formal Languages for End Users, The Spreadsheet Formula Language, Problems of Task-Specific Programming Languages, Studying Tasks, Summary