Sanders, B. A. (1989). Stepwise refinement of mixed specifications of concurrent programs.
Chicago-Zitierstil (17. Ausg.)Sanders, Beverly A. Stepwise Refinement of Mixed Specifications of Concurrent Programs. Zürich, 1989.
MLA-Zitierstil (9. Ausg.)Sanders, Beverly A. Stepwise Refinement of Mixed Specifications of Concurrent Programs. 1989.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.