A first course in formal language theory See original record