Revealing the universe prediction and proof in astronomy (MIT Press, 1982)