The Finalization Operation for Abstract Types

@inproceedings{Schwartz-MelliarSmith:ICSE81,
  author    = {Richard L. Schwartz and
               P. M. Melliar{-}Smith},
  title     = {The Finalization Operation for Abstract Types},
  booktitle = {ICSE},
  pages     = {273--282},
  publisher = {{IEEE} Computer Society},
  year      = {1981},
}