@article{Miyano:11012,
      author        = "Miyano, Michio",
      title         = "{}",
}