1. Bonner, A.J., Kifer, M.: Transaction logic programming. In: Intl. Conf. on Logic Programming (1993)
2. Bonner, A.J., Kifer, M.: Concurrency and communication in transaction logic. In: Joint Intl. Conf. and Symp. on Logic Programming (1996)
3. Dayal, U., Hsu, M., Ladin, R.: Organizing long-running activities with triggers and transactions. ACM SIGMOD Conf. on Management of Data (1990)
4. Donnelly, K., Fluet, M.: Transactional events. In: Proceedings of ICFP (2006)
5. Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)