Title: Instruction Sequences for Computer Science
Subjects: Mathematical Logic and Formal Languages, Computer Systems Organization and Communication Networks, Computer network architectures, Logic design, Logics and Meanings of Programs, Computation by Abstract Devices, Computer science, Programming Languages, Compilers, Interpreters