Computer Semantics
Subtitle: Studies of Algorithms, Processors and Languages