@misc{9958,
  author = {R. Karlsen and Frank Eliassen},
  title = {Parameterizing Correctness for Federative Transactions},
  year = {1993},
  journal = {Proceedings Norwegian Informatics Conference 1993 (NIK{\textquoteright}93)},
  publisher = {TAPIR,},
}