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