A formal model of international cooperation