Gilbert Babin, François Lustman, Peretz Shoval. Specification and Design of Transactions in Information Systems: A Formal Approach. IEEE Trans. Software Eng., 17(8):814-829, 1991. [doi]
@article{BabinLS91,
title = {Specification and Design of Transactions in Information Systems: A Formal Approach},
author = {Gilbert Babin and François Lustman and Peretz Shoval},
year = {1991},
url = {http://www.computer.org/tse/ts1991/e0814abs.htm},
tags = {design, systematic-approach},
researchr = {https://researchr.org/publication/BabinLS91},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {17},
number = {8},
pages = {814-829},
}