Carl G. Davis, Robert L. Couch: Ballistic Missile Defense: A Supercomputer Challenge. Computer 13(11): 37-46 (1980)