Concurrency and programming languages
David M. Harland
Jupiter Odyssey
Nasa's Moon Program
Polymorphic programming languages
Space systems failures
The Earth in Context