Semantics of Nondeterministic and Noncontinuous Constructs

Manfred Broy, Rupert Gnatz, Martin Wirsing. Semantics of Nondeterministic and Noncontinuous Constructs. In Friedrich L. Bauer, Manfred Broy, editors, Program Construction, International Summer School, July 26 - August 6, 1978, Marktoberdorf, germany. Volume 69 of Lecture Notes in Computer Science, pages 553-592, Springer, 1978.

Bibliographies