@INPROCEEDINGS{HR94,
  author    = {Theo Härder and Norbert Ritter},
  title     = {Transaction-based Design Data Processing in the PRIMA Framework},
  booktitle = {Proc. Int. IFIP WG 10.5 Working Conference on Electronic Design Automation Frameworks (EDAF'94)},
  year      = {1994},
  pages     = {1-10},
  month     = {11}
}