@inproceedings{Gibson99,
  author = {Gibson, J. Paul},
  title = {Formal object oriented requirements: simulation, validation and verification},
  booktitle = {Modelling and Simulation: A tool for the next millenium ESM99},
  publisher = {Society for Computer Simulation International (SCS)},
  year = {1999},
  volume = {II},
  pages = {103--111}
}