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}, }