Candid -- a logical calculus for describing financial contracts

On automated message processing in electronic commerce and work support systems: speech act theory and expressive felicity

ACM Transactions on Information Systems (TOIS)

Data modelling of scientific simulation programs

SIGMOD '82 Proceedings of the 1982 ACM SIGMOD international conference on Management of data

On designing a language for electronic commerce

International Journal of Electronic Commerce - Special issue: Systems for computer-mediated digital commerce

Formal language for business communication: sketch of a basic theory

International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce

Electronic Contract Drafting Based on Risk and Trust Assessment

International Journal of Electronic Commerce

Securing uniqueness of rights e-documents: a deontic process perspective

Journal of Theoretical and Applied Electronic Commerce Research