A formal analysis of a business contract language (2006)

by G Governatori, Z Milosevic
Venue:International Journal of Cooperative Information Systems