Carol Ruth Karp

• Languages with expressions of infinite length (Studies in logic and the foundations of mathematics)