Performance Abstract Data Types as a Tool in Software Performance Analysis and Design | IEEE Journals & Magazine | IEEE Xplore