Olivera Marjanovic, Zoran Milosevic. Towards Formal Modeling of e-Contracts. In 5th International Enterprise Distributed Object Computing Conference (EDOC 2001), 4-7 September 2001, Seattle, WA, USA, Proceedings. pages 59-68, IEEE Computer Society, 2001. [doi]
Abstract is missing.