The following publications are possibly variants of this publication:
- Using Correctness-by-Construction to Derive Dead-zone AlgorithmsBruce W. Watson, Loek G. Cleophas, Derrick G. Kourie. stringology 2014: 84-95 [doi]
- Efficient automata constructions and approximate automataBruce W. Watson, Derrick G. Kourie, Ernest Ketcha Ngassam, Tinus Strauss, Loek G. Cleophas. stringology 2006: 100-107 [doi]
- A concurrent specification of Brzozowski s DFA construction algorithmTinus Strauss, Derrick G. Kourie, Bruce W. Watson. stringology 2006: 90-99 [doi]
- A Process-Oriented Implementation of Brzozowski's DFA Construction AlgorithmTinus Strauss, Derrick G. Kourie, Bruce W. Watson, Loek G. Cleophas. stringology 2014: 17-29 [doi]