Introduction to Programming in ATS