AXLE2: an axiomatic language for string transformations. - Kenneth Cohen; Joseph Henry Wegstein (Commun. ACM, 1965)