@ARTICLE{Larsen01,
  KEY           = "Larsen01",
  AUTHOR        = "Peter Gorm Larsen",
  TITLE         = "{Ten Years of Historical Development: ``Bootstrapping'' VDMTools}",
  JOURNAL        = "Journal of Universal Computer Science",
  YEAR           = "2001",
  VOLUME         = "7",
  NUMBER         = "8",
  PAGES          = "692--709",
  ANNOTE           = "\url|http://www.jucs.org/jucs\_7\_8/ten\_years\_of\_historical|"}