3 papers:
PEPM-2008-Voigtlander #correctness #proving #theorem- Proving correctness via free theorems: the case of the destroy/build-rule (JV), pp. 13–20.
SEKE-2002-AbateB #approach #architecture #component #design #scalability- A scalable approach to the design of SW architectures with dynamically create/destroyed components (PA, MB), pp. 255–262.
SAC-1996-LeeHHC #case study #how #implementation #performance #problem #process #set- Efficient implementations of two variant subset sum problems: a case study of how to process appraisal books resulting from fire-destroyed money (PL, FYH, CYH, HTC), pp. 230–237.
