A formal perspective to specification of transaction systems

Sylvanus A. Ehikioya, Ken Barker. A formal perspective to specification of transaction systems. South African Computer Journal, 26:34-44, 2000.

@article{EhikioyaB00,
  title = {A formal perspective to specification of transaction systems},
  author = {Sylvanus A. Ehikioya and Ken Barker},
  year = {2000},
  researchr = {https://researchr.org/publication/EhikioyaB00},
  cites = {0},
  citedby = {0},
  journal = {South African Computer Journal},
  volume = {26},
  pages = {34-44},
}