ISBN-13: 9781848823136, 978-1848823136. Ada is the programming language of choice for high integrity software systems and is used extensively in industries such as transportation and aerospace. Extracts from the ARM are used throughtout and there are extensive cross references to the ARM.
eBay