On the class of L\(^*\)-language formulas that specify finite-memory finite-state machines
scientific article; zbMATH DE number 5790945