Originally posted to normative.slack.com#core-practice
@channel — see the two papers below:
http://www-formal.stanford.edu/jmc/recursive/recursive.html