made by Ershov during the discussion

by S.S. Lavrov (handwritten)

by E.A. Miliutin (handeritten)

on the subject of programming conclusiveness

on contract-based programming, stated in writing by Ershov's request

to KP NTP-2005 (handwritten)

on some important points of KP NTP-2005 (handwritten)

for Ershov's presentation in Puschino