Military standard: Ada programming language (1980)