@ARTICLE{Araki&05,
  KEY           = "Araki&05",
  AUTHOR        = "Keijiro Araki and Dines Bj\o{}rner and Peter Gorm Larsen",
  TITLE         = "CSK Corporation Launces VDMTools in Japan",
  JOURNAL       = "FACS FACT",
  YEAR          = "2005",
  MONTH         = "October",
  ANNOTE        = "",
  COMMENT       = "I have an electronic copy (PGL)"}