@INPROCEEDINGS{HR95,
  author    = {Theo Härder and Norbert Ritter},
  title     = {Transaction-based Design Data Processing in the PRIMA Framework},
  booktitle = {Electronic Design Automation Frameworks},
  year      = {1995},
  editor    = {F.J. and Wagner, F.R.},
  volume    = {4},
  pages     = {3-12}
}