@Book{Kilov:1999:BSBS,
  editor =       "Haim Kilov and Bernhard Rumpe and Ian Simmonds",
  title =        "Behavioral Specifications of Businesses and Systems",
  publisher =    "Kluwer Academic Publishers",
  year =         "1999",
  volume =       "523",
  series =       "The Kluwer International Series in Engineering and
                  Computer Science",
  isbn =         "0792386299",
}