yes, you are right, and the rason us that it takes too long. RHS theory is very heavy: you need topological vector space theory, nuclear space theory, abstract kernel theorem, special vector measure theories, and so on.
From what I know the only complete reference is the book
General...