Mathematical writing (CS 209) : lectures, 1987