Two complete axiom systems for the algebra of regular events (1966)

by A SALOMAA
Venue:RECEIVED JUNE, 1966; REVISED NOVEMBER, 1966 $ournal of the Association for Computing Machinery