Парнас предлагает найти другие математические приемы для применения в программировании, отличные от Флойда-Дейкстры. Конкретики в статье никакой нет. Только упоминание о возможности применения реляционной алгебры.