Reihe Lecture Notes in Computer ScienceJohn Barnes ×eBooks × Ada 2012 RationaleThe Language -- The Standard LibrariesJohn BarnesSpringer BerlineBook2013 Ada 2005 RationaleThe Language, The Standard LibrariesJohn BarnesSpringer BerlineBook2008