Instruction Sequences For Computer Science
Publisher: Atlantis Press
Published: 2012
ISBN-13: 9789491216640