1. The future internet: A services and software perspective. Draft reviewed by a working group in Bled (2008)
2. Bonner, A.J., Kifer, M.: Concurrency and communication in transaction logic. In: Joint International Conference and Symposium on Logic Programming. MIT Press, Cambridge (1996)
3. Bonner, A.J., Kifer, M.: Transaction logic programming (or, a logic of procedural and declarative knowledge. Technical Report CSRI-270 (1995)
4. Davulcu, H., Kifer, M., Ramakrishnan, C.R., Ramakrishnan, I.V.: Logic based modeling and analysis of workflows, pp. 25–33 (1998)
5. Roman, D., Kifer, M.: Reasoning about the behavior of semantic web services with concurrent transaction logic. In: VLDB 2007: Proceedings of the 33rd international conference on Very large data bases. VLDB Endowment (2007)