A quasi-arithmetical notation for syntactic description. Language (1953)

by Yehoshua Bar-Hillel