The semantics of programming languages: an elementary introduction using structural opera… by Hennessy, M. 0 Type: Book Arithmetic expressions; A simple functional language; More languages; Computation semantics; Parallelism; Bibliography; Index.