Spezifikation parametrisierter Datentypen

@article{Benecke1983SpezifikationPD,
  title={Spezifikation parametrisierter Datentypen},
  author={Klaus Benecke},
  journal={Math. Log. Q.},
  year={1983},
  volume={29},
  pages={83-96}
}