User blog comment:Rpakr/Converting 2nd System Expressions in Taranovsky's C to Labelled Hydras/@comment-35470197-20190115141424

It is better to link the original source of TON.