Formal Methods Flemming Nielson, Hanne Riis Nielson E-Book (pdf)

Principles of Program Analysis Flemming Nielson, Hanne R. Nielson, Chris Hankin E-Book (pdf)

Semantics with Applications: An Appetizer Hanne Riis Nielson, Flemming Nielson E-Book (pdf)