1. Boda, M.: Die Schaltungstheorie der Blockwerke. Wiesbaden: Kreidel 1899.
2. Boda, M.: Die Sicherung des Zugverkehrs auf der Eisenbahn. Prag: Wiesner 1898.
3. Boda, M.: Die Stromlaufformeln und ihre Anwendung zur Schaltung Siemensscher Blockwerke (Versuch einer Schaltungstheorie Siemensscher Blockwerke). Z. Österr. Ing.-und Arch.-Ver. 33 (1897) 620.
4. Carnap, R.: Einführung in die symbolische Logik. Wien: Springer 1954, 209 S., 2. erw. Aufl. 1960, 241 S.
5. Church, A.: Bibliography of symbolic logic. J. Symbolic Logic 1 (1936) 121–218.