Links for theory-of-computation