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