Also worth mentioning is To Dissect a Mockingbird, which I think is simpler to understand than
Visual Lambda, but it is still very complex in all but the simplest cases.  Still worth reading the paper, however.