Introduction to programming concepts and methods with ADA - Smith, James F. (New York : McGraw-Hill, 1994)
Includes index.
Keywords: Ada (Computer program language); Computer contracts; Computer input-output equipment; Electronic digital computers