See Slater (1960, §2.2). Note that (2.2.7) in this reference
contains an error: the correct version is (13.3.13).
To see that (13.3.13) and (13.3.14) are
equivalent to (13.2.1) use (13.3.16) and
(13.3.23).
See Slater (1960, §2.1).
Note that (2.1.32) contains an error; the correct version is
(13.3.28).
For the operator identity (13.3.29) see
Fleury and Turbiner (1994).