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