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

Ok, I will add a link to it.