Formal Model for Contract Negotiation in Knowledge-Based Virtual Organizations. - Mikolaj Zuzek; Marek Talik; Tomasz Swierczynski; Cezary Wisniewski; Bartosz Kryza; Lukasz Dutka; Jacek Kitowski (ICCS (3), 2008)