Dispute settlement in public international law texts and materials