1. C.J. Aarts, Galois connections presented calculationally, Eindhoven University of Technology, Department of Mathematics and Computer Science, July 1992
2. Demonic operators and monotype factors;Backhouse;Math. Struct. Comput. Sci.,1993
3. A representation theorem for quantales;Brown;J. Pure Appl. Algebra,1993
4. Regular Algebra and Finite Machines;Conway,1971
5. Kleene under a demonic star;Desharnais,2000