M. Broy
M. Walicki and M. Broy.
Structured Specifications and Implementation of Nondeterministic Data Types.
Nordic Journal of Computing
, 2(3):358-395, Fall 1995.
Abstract, References, etc.
Shortcuts:
Nordic Journal of Computing homepage
Bibliography top level
Nordic Journal of Computing Author Index
Search the HBP database