Succinct representation of regular sets using gotos and Boolean variables
scientific article; zbMATH DE number 4047055