Björn Lisper. Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations. In Hélène Kirchner, editor, Trees in Algebra and Programming - CAAP 96, 21st International Colloquium, Linköping, Sweden, April, 22-24, 1996, Proceedings. Volume 1059 of Lecture Notes in Computer Science, pages 165-179, Springer, 1996.
Abstract is missing.