THE SEMANTICS OF PROGRAMMING LANGUAGES - Hennessy, Mathew
Keywords: Computer Programms