Extract

from the resolution of the Scientific-and-Technical Council on informatics of the Novosibirsk Computing Center on Ershov and Sabelfeld report about their trip to Germany; enclosed is a list of materials there obtained