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

by Arto Salomaa
Venue:J. ACM