Olivera Marjanovic Zoran Milosevic Towards Formal Modeling of e-Contracts. 59-68 2001 conf/edoc/2001 EDOC http://computer.org/proceedings/edoc/1345/13450059abs.htm db/conf/edoc/edoc2001.html#MarjanovicM01