A mathematical introduction to Dirac's formalism - Eijndhoven, S. J. L. van (North-Holland ;)