@article{PulmanProductionOfSpecifications,
  title = "A Method for Controlling the Production of Specifications in Natural Language",
  author = "B. Macias and S. G. Pulman",
  year = "1995",
  journal = "The Computer Journal",
  number = "4",
  pages = "310--318",
  volume = "38",
}