1. Derivatives of regular expressions;Brzozowski;J. ACM,1964
2. Regular Algebra and Finite Machines;Conway,1971
3. On representatives of subsets;Hall;J. Lond. Math. Soc.,1935
4. Predicate transformers and linear logic: yet another denotational model;Hyvernat,2004
5. Combinatorial Algorithms;Knuth,2011