John Barnes Ada 2012 Rationale - Springer 2013 - Lecture Notes in Computer Science . ISBN: 9783642452109 Subjects--Index Terms: Programming Languages, Compilers, Interpreters; Operating Systems; Programming Techniques; Software Engineering