A formal system for specifying and verifying program performance - Shaw, Mary (1979)