I believe the book introducing his theory of introversion/extraversion was Psychological Types based on his own clinical research. It's a theory, not a law.. :-)