Glynn Winskel. The formal semantics of programming languages - an introduction. Foundation of computing series, MIT Press, 1993.
@book{0070910,
title = {The formal semantics of programming languages - an introduction},
author = {Glynn Winskel},
year = {1993},
tags = {programming languages, semantics, formal semantics, programming},
researchr = {https://researchr.org/publication/0070910},
cites = {0},
citedby = {0},
series = {Foundation of computing series},
publisher = {MIT Press},
isbn = {978-0-262-23169-5},
}