Space Station Flight Software: Hal/S or Ada?

Alan R. Klumpp. Space Station Flight Software: Hal/S or Ada?. IEEE Computer, 18(3):20-28, 1985.

Abstract

Abstract is missing.