Алгоритм канонизации описания структуры программ в рамках линейной моделистатья