Languages with expressions of infinite length - Karp, Carol R (Studies in logic and the foundations of mathematics, 1964)