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