@incollection{SwieMoor93,
  author    = {Swierstra, S. D. and Moor, O. de},
  title     = {Virtual Data Structures},
  editor    = {M{\"o}ller B. and Partsch H. and Schuman S.},
  booktitle = {Formal Program Development},
  number    = 755,
  series    = {Lecture Notes in Computer Science},
  pages     = {355-371},
  publisher = {Springer-Verlag},
  address   = {Berlin},
  year      = 1993,
  note      = {},
}