Online Library TheLib.net » Тема, жанр, tags: Logics and Meanings of Programs,Computation by Abstract Devices,Programming Languages Compilers Inte » Page 589