Text this: Kolmogorov's Calculus of Problems and its Legacy.