Structured Specifications and Implementation of Nondeterministic Data Types

Michal Walicki, Manfred Broy. Structured Specifications and Implementation of Nondeterministic Data Types. Nord. J. Comput., 2(3):358-395, 1995.

Abstract

Abstract is missing.