А. П. Ершова "Научные основы доказательного программирования" 1984г.
http://ershov.iis.nsk.su/ru/node/786816

Отредактировано Лис (2022-05-06 12:10:26)