Semantics, Logics, and CalculiChristian W. Probst, Chris Hankin, René Rydhof Hansen · First published 2015Open the Tome
Principles of program analysisFlemming Nielson, Hanne Riis Nielson, Chris Hankin · First published 1999Open the Tome
Abstract interpretation of declarative languagesSamson Abramsky, Chris Hankin · First published 1987Open the Tome
