@article{Proebsting95, author = "Proebsting, Todd A.", title = "{BURS automata generation}", journal = "ACM Transactions on Programming Languages and Systems", volume = "17", number = "3", pages = "461-486", month = "May", year = "1995", url = "http://www.cs.berkeley.edu/~jcondit/pl-prelim/proebsting95burs.pdf", }