The ABC's of Developing Software : A Primer On Essentials of Software Development
Applied computation theory : analysis, design, modeling