Reading group: Context-Sensitive Systems