@inproceedings{Swi77,
  author    = {Swierstra, S. D.},
  title     = {Abstract Data Types, Definition Modules and Extensions to Definition Modules},
  booktitle = {M(achine) O(riented) L(anguages)-bulletin},
  publisher = INRIA,
  year      = {1977},
}