Президиума АН СССР № 1478 о научном сообщении А.П. Ершова "Научные основы создания высоконадежного программного обеспечения".
