Title: Avtomatizirovannoe proektirovanie logiko-dinamicheskikh sistem
First published: 1981