A formal specification of transaction systems in distributed multi-agents systems. - Sylvanus A. Ehikioya; Trevor Walowetz (CATA, 1999)