Instruction Sequences for Computer Science - Bergstra, Jan A., author (Paris Atlantis Press, Imprint: Atlantis Press, 2012)
Mathematics and Statistics (Springer-11649)
Keywords: Programming Languages, Compilers, Interpreters; Computation by Abstract Devices; Computer network architectures; Computer science; Computer Science; Computer Systems Organization and Communication Networks; Logic design; Logics and Meanings of Programs; Mathematical Logic and Formal Languages