Jan A Bergstra, Cornelis A. Middelburg

Instruction Sequences for Computer Science - 2012 - Atlantis Press 2012 - Atlantis Studies in Computing .

9789491216657


Mathematics and Statistics