International law: international disputes and civil procedure