Textmeddelande: Synthesis of digital automata. Edited by V.G. Lazarev and A.V. Zakrevskii. Translated from Russian by Edwin S. Spiegelthal.