Text this: Programming languages and operational semantics / by Maribel Fernández.