@INPROCEEDINGS( PSC2006j, 
 author = "Tinus Strauss and Derrick G. Kourie and Bruce W. Watson",
 title = "A concurrent specification of {B}rzozowski's {DFA} construction algorithm",
 booktitle = "Proceedings of the Prague Stringology Conference~'06",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "80-01-03533-6",
 year = 2006,
 pages = "90--99",
 bibsource="http://www.stringology.org/event/2006/psc06p10.bib",
)