Jose Luiz Fiadeiro Categories for Software Engineering - 2005 ISBN: 978-3-540-26891-8 Subjects--Topical Terms: Logics and Meanings of ProgramsMathematics of ComputingProgramming TechniquesSoftware EngineeringSoftware Engineering/Programming and Operating Systems Programming Languages, Compilers, InterpretersComputer Science