Karl R. Abrahamson Succinct Representation of Regular Sets Using Gotos and Boolean Variables. 129-148 1987 34 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss34.html#Abrahamson87