A Proebsting. BURS automata generation (1995)

by Todd
Venue:ACM Transactions on Programming Languages and Systems