An Introductory Problem in Symbol Manipulation for the Student
CACM September, 1960
Rosin, R. F.
