Walicki, M., & Broy, M. (1995). Structured specifications and implementation of nondeterministic data types.
Chicago-Zitierstil (17. Ausg.)Walicki, Michał, und Manfred Broy. Structured Specifications and Implementation of Nondeterministic Data Types. München, 1995.
MLA-Zitierstil (9. Ausg.)Walicki, Michał, und Manfred Broy. Structured Specifications and Implementation of Nondeterministic Data Types. 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.