%0 Journal Article %F Proebsting95 %A Proebsting, Todd A. %T BURS automata generation %J ACM Transactions on Programming Languages and Systems %V 17 %N 3 %P 461-486 %D 1995 %U http://www.cs.berkeley.edu/~jcondit/pl-prelim/proebsting95burs.pdf