DTIC ADA073661: Preliminary Reference Manual for the GREEN Programming Language. A language Designed in Accordance with the Ironman Requirements | NiceBooksReads