Sanders, B. A. (1989). Stepwise refinement of mixed specifications of concurrent programs.
Chicago Style (17th ed.) CitationSanders, Beverly A. Stepwise Refinement of Mixed Specifications of Concurrent Programs. Zürich, 1989.
MLA (9th ed.) CitationSanders, Beverly A. Stepwise Refinement of Mixed Specifications of Concurrent Programs. 1989.
Warning: These citations may not always be 100% accurate.