Shaw, M. (1979). A formal system for specifying and verifying program performance.
Chicago-Zitierstil (17. Ausg.)Shaw, Mary. A Formal System for Specifying and Verifying Program Performance. Pittsburgh, Pa, 1979.
MLA-Zitierstil (9. Ausg.)Shaw, Mary. A Formal System for Specifying and Verifying Program Performance. 1979.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.