Ada and beyond software policies for the Department of Defense (National Academy Press, 1997)