R Kailar - IEEE Transactions on software engineering, 1996 - ieeexplore.ieee.org
In most commercial and legal transactions, the ability to hold individuals or organizations
accountable for transactions is important. Hence, electronic protocols that implement …