Burghard von Karger: Computation calculus = sequential calculus + discreteness and termination. RelMiCS 1998: 122-126