Letter

proposing four survey articles on the "Theoretical programming" topic; enclosed is the bibliography to the "Programming" item for the GSE