Αποστολή με SMS: Computer-human interaction in symbolic computation / N. Kajler, ed. ; with a foreword by Dana S. Scott.