Nondeterminism in Abstract Data Types

A mathematical approach to nondeterminism in data types

ACM Transactions on Programming Languages and Systems (TOPLAS)

A complete calculus for the multialgebraic and functional semantics of nondeterminism

ACM Transactions on Programming Languages and Systems (TOPLAS)

Algebraic approaches to nondeterminism—an overview

ACM Computing Surveys (CSUR)

Structured specifications and implementation of nondeterministic data types

Nordic Journal of Computing

An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types

Electronic Notes in Theoretical Computer Science (ENTCS)