Matthias Hallmann. Incorporating transactions in a requirement engineering method. In Twelfth International Computer Software and Applications Conference, COMPSAC 1988, Proceedings, Chicago, IL, USA, 5-7 October, 1988. pages 121-126, IEEE, 1988. [doi]
Abstract is missing.