Misc

Reference Book

Logic and Verification
• The Calculus of Computation

Static analysis
• Data Flow Analysis: Theory and Practice
• Static Program Analysis

Academic Writing

Writing Helper
• Ludwig: search engine and smart translator that helps you find the perfect word or sentence to express your ideas
• Linggle: Language reference search engines for sound writing, an aternative of Ludwig
• IEEE Referencing Guide: Useful guidance to format citations of different types in IEEE style

Writing Reference
• Academic Phrasebank: Skelton for each session of a research paper or dissertation
• Writing for Computer Science
• The Elements of Style
• Academic Vocabulary in Use
• LongMan Grammar of Spoken and Written English