Kenneth Cohen Joseph Henry Wegstein AXLE2: an axiomatic language for string transformations. 657-661 1965 8 Commun. ACM 11 http://doi.acm.org/10.1145/365660.365669 db/journals/cacm/cacm8.html#CohenW65