Formalʹnye metody i modeli informatikiby A. G. MarchukWriting a summary for young readers…For young readersBook data: Open Library