P. Shoval;O. Manor
-;-
Specification and Design of Transactions in Information Systems: A Formal Approach
IEEE Transactions on Software Engineering