(ref.doc)recursion

The mathematics of recursion:

p 249
Formal version of the *portability* requirement of language
implementations, through the smallest fixpoint.

p 259
Lewd: Language Easier than your Wildest Dreams

p 270, 8.7.6 The importance of being strict - or not
In concurrent programming, a non-strict operation is one which does
not prevent other parts of the computation from proceeding in
parallel.

Not having to wait is the central benefit of parallel computation.

p 272
Grunts: Generally Recognized by Users as Not Too Strict

p 276
[*and* and *and then*] With the strict operator, both operands may be
executed concurrently, taking advantage of any available hardware
parallelism. With the semi-strict operator, evaluation of the second
operand may not proceed until after the evaluation of the first has
been completed.