Information processing letters (North Holland, 1971)