Модель векторных альтернативных графов для описания цифровых системUbar, Raimund-JohannesВычислительная техника1982 / с. 103-104