Eike Best Ludmila Cherkasova Jörg Desel Compositional Generation of Home States in Free Choice Systems. 398-409 1991 conf/stacs/1991 STACS db/conf/stacs/stacs91.html#BestCD91 https://doi.org/10.1007/BFb0020815