NASA contractor report CR (series). 1867. Spaceborne computer executive routine functional design specification: v. 1, Functional design of flight computer executive program for reusable shuttle; by B. T. Curran.