On an approach to functional specification of automata systems. III
scientific article; zbMATH DE number 745968