Languages with expressions of infinite length - Karp, Carol Ruth (Amsterdam North-Holland Pub., 1964)
Keywords: Logic, Symbolic and mathematical