Shengchao Qin Unifying Theories of Programming - 2010 ISBN: 978-3-642-16690-7 Subjects--Topical Terms: Logics and Meanings of ProgramsMathematical Logic and Formal LanguagesProgramming TechniquesSoftware Engineering Programming Languages, Compilers, InterpretersComputer Science