On the Algebraic Specification of Nondeterministic Programming Languages

• Authors:

• Manfred Broy;Martin Wirsing

• Affiliations:

• -;-

• Venue:
• CAAP '81 Proceedings of the 6th Colloquium on Trees in Algebra and Programming
• Year:
• 1981