programming languages and operational semantics: an introduction (en Inglés)

fernandez, m. · king's college publications