@inproceedings{conf/amast/TraynorHKMNW97,
title = {The Cogito Development System.},
author = {Owen Traynor and Daniel Hazel and Peter Kearney and Andrew Martin and Ray Nickson and Luke Wildman},
booktitle = {AMAST},
crossref = {conf/amast/1997},
editor = {Michael Johnson},
pages = {586-591},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
url = {http://dblp.uni-trier.de/db/conf/amast/amast97.html#TraynorHKMNW97},
volume = {1349},
year = {1997},
description = {dblp},
isbn = {3-540-63888-1}, date = {2007-08-21},
keywords = {dblp }
}
::