https://9lib.org/document/q057mj0g-the-computer-model-of-automatic-locomotive-signals-system.html