@INPROCEEDINGS( PSC2008-20, 
 author = "Tinus Strauss and Derrick G. Kourie and Bruce W. Watson",
 title = "A Concurrent Specification of an Incremental {DFA} Minimisation Algorithm",
 booktitle = "Proceedings of the Prague Stringology Conference 2008",
 address = "Czech Technical University in Prague, Czech Republic",
 editor = "Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek",
 isbn = "978-80-01-04145-1",
 year = 2008,
 pages = "218--226",
)