17 See Hiroyuki Odagiri and Akira Goto (1995) for details.