Computation calculus = sequential calculus + discreteness and termination

Burghard von Karger. Computation calculus = sequential calculus + discreteness and termination. In Ewa Orlowska, Andrzej Szalas, editors, Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998. pages 122-126, 1998.