Н 535
      Непомнящий,В. А.
      Прикладные методы верификации программ В. А. Непомнящий, О. М. Рякин — М. Радио и связь 1988 — 255 с.