@InProceedings{Ahrendt00,
  author        = {Wolfgang Ahrendt},
  title         = {A Basis for Model Computation in Free Data Types},
  booktitle     = {Proceedings, CADE-17 Workshop on
                   Model Computation - Principles, Algorithms, Applications,
                   Pittsburgh, Pennsylvania, USA},
  year          = {2000}
}