Text this: ESOP 86. European symposium on programming