Hanne Riis Nielson, Flemming Nielson. Semantics with applications - a formal introduction. Wiley professional computing, Wiley, 1992.
@book{NielsonNielson1992, title = {Semantics with applications - a formal introduction}, author = {Hanne Riis Nielson and Flemming Nielson}, year = {1992}, tags = {semantics, formal semantics}, researchr = {https://researchr.org/publication/NielsonNielson1992}, cites = {0}, citedby = {0}, series = {Wiley professional computing}, publisher = {Wiley}, isbn = {978-0-471-92980-2}, }