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

by A Salomaa
Venue:J. ACM