A formal system for specifying and verifying program performance - Shaw, Mary (Carnegie-Mellon University <Pittsburgh, Pa.> / Computer Science Department: CMU-CS, 1979)