Det er hovedsakelig to bøker som har gjort Kripke berømt: (1980, 1982) og (1982, 1984).