@article{journals/cj/LoweZ95,
  title = "Refinement of Complex Systems: A Case Study",
  author = "Gavin Lowe and Hussein Zedan",
  year = "1995",
  journal = "The Computer Journal",
  number = "10",
  pages = "785-800",
  url = "http://www.cs.ox.ac.uk/people/gavin.lowe/Papers/TAM/casestudy.ps.gz",
  volume = "38",
}