A Quasi-arithmetical Notation for Syntactic Description, Language 29 (1953)

by Y Bar-Hillel