@book{276813, author = {Nielson,, Hanne Riis and Nielson,, Flemming}, title = {Semantics with applications}, publisher = {Springer}, year = {cop. 2007}, series = {Undergraduate topics in computer science}, address = {London} }