A Mathematical Introduction to Dirac's Formalism - Eijndhoven, Stephanus. J. L. van 1956- (North-Holland mathematical library, 1986)