Programming Languages and Operational Semantics by Fernández Maribel, King's College Publications, 2004, ISBN 0954300637

@article{Simpson2007ProgrammingLA,
  title={Programming Languages and Operational Semantics by Fern{\'a}ndez Maribel, King's College Publications, 2004, ISBN 0954300637},
  author={Alex K. Simpson},
  journal={J. Funct. Program.},
  year={2007},
  volume={17},
  pages={424-426}
}