AXLE: An axiomatic language for string transformations (1965)

by Kenneth Cohen, J H Wegstein
Venue:Communications of the ACM