А 651
      Андерсон,Р.
      Доказательство правильности программ Р. Андерсон; пер. с англ. — М. Мир 1982 — 163 с.