Fernando, T. On Regular Languages over Power Sets. JLM 2016, 4, 29–56.