https://123dok.net/document/zkw06x68-synchronous-machines-a-traced-category.html