@inproceedings{Us:CogDev,
  address = "Berlin",
  author = "Owen Traynor and Dan Hazel and Peter Kearney and Andrew Martin and Ray Nickson and Luke Wildman",
  booktitle = "Algebraic Methodology and Software Technology",
  editor = "Michael Johnson",
  isbn = "3-540-63888-1",
  issn = "0302-9743",
  month = "dec",
  note = "6th International conference, AMAST'97, Sydney, Australia",
  pages = "586--591",
  publisher = "Springer-Verlag",
  series = "LNCS",
  title = "The {Cogito} development system",
  volume = "1349",
  year = "1997",
}