Lombardi, Lionello "Mathematical aspects of non-arithmetic data processing procedures"

[ACM] (1962) [ACM] JACM 9(1) January 1962  

Languages mentioned ABL {1960} Language manipulation of files ADSL {1962} Algebraic Data System Language