@article{Wordsworth1999,
	title = {Getting the best from formal methods},
	author = {J. B. Wordsworth},
	journal = {Information and Software Technology},
	month = {November},
	number = {14},
	pages = {1027--1032},
	volume = {41},
	year = {1999},
	biburl = {http://www.bibsonomy.org/bibtex/2ba4e55dd23888f0d2821860ebbf03c9f/pdeleenh},
	timestamp = {2008.05.15}, owner = {pdeleenh},
	keywords = {imported }
}

@article{Wordsworth1999,
	title = {Getting the best from formal methods},
	author = {J. B. Wordsworth},
	journal = {Information and Software Technology},
	month = {November},
	number = {14},
	pages = {1027--1032},
	volume = {41},
	year = {1999},
	biburl = {http://www.bibsonomy.org/bibtex/2ba4e55dd23888f0d2821860ebbf03c9f/kimmens},
	description = {AOEvolutionchapter short paper},
	keywords = {imported }
}

@article{Wordsworth1999,
	title = {Getting the best from formal methods},
	author = {J. B. Wordsworth},
	journal = {Information and Software Technology},
	month = {November},
	number = {14},
	pages = {1027--1032},
	volume = {41},
	year = {1999},
	biburl = {http://www.bibsonomy.org/bibtex/2ba4e55dd23888f0d2821860ebbf03c9f/evol},
	description = {The entire bibliography of the book "Software Evolution" co-edited by Tom Mens and Serge Demeyer, published by Springer in 2008},
	keywords = {imported }
}

@article{Wordsworth1999,
	title = {Getting the best from formal methods},
	author = {J. B. Wordsworth},
	journal = {Information and Software Technology},
	month = {November},
	number = {14},
	pages = {1027--1032},
	volume = {41},
	year = {1999},
	biburl = {http://www.bibsonomy.org/bibtex/2ba4e55dd23888f0d2821860ebbf03c9f/tommens},
	description = {software evolution bibliography},
	keywords = {imported }
}

@article{journals/infsof/Wordsworth99,
	title = {Getting the best from formal methods.},
	author = {John Wordsworth},
	journal = {Information & Software Technology},
	number = {14},
	pages = {1027-1032},
	url = {http://dblp.uni-trier.de/db/journals/infsof/infsof41.html#Wordsworth99},
	volume = {41},
	year = {1999},
	biburl = {http://www.bibsonomy.org/bibtex/224f97b585236ac9bf2764de3e9d86ae7/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/S0950-5849(99)00078-6}, date = {2005-04-13},
	keywords = {dblp }
}

@inproceedings{conf/zum/Wordsworth90,
	title = {The CICS Application Programming Interface Definition.},
	author = {John Wordsworth},
	booktitle = {Z User Workshop},
	crossref = {conf/zum/1990},
	editor = {J. E. Nicholls},
	pages = {285-294},
	publisher = {Springer},
	series = {Workshops in Computing},
	url = {http://dblp.uni-trier.de/db/conf/zum/zum1990.html#Wordsworth90},
	year = {1990},
	biburl = {http://www.bibsonomy.org/bibtex/290b2cc7078cd782989bbba31759d729c/dblp},
	description = {dblp},
	isbn = {3-540-19672-2}, date = {2003-02-25},
	keywords = {dblp }
}

@inproceedings{conf/zum/BainbridgeWW90,
	title = {Obtaining Structural Metrics of Z Specifications for Systems Development.},
	author = {John Bainbridge and R. W. Whitty and John Wordsworth},
	booktitle = {Z User Workshop},
	crossref = {conf/zum/1990},
	editor = {J. E. Nicholls},
	pages = {269-281},
	publisher = {Springer},
	series = {Workshops in Computing},
	url = {http://dblp.uni-trier.de/db/conf/zum/zum1990.html#BainbridgeWW90},
	year = {1990},
	biburl = {http://www.bibsonomy.org/bibtex/2b0fd10d28ac5b31ff1e570cc917a39f1/dblp},
	description = {dblp},
	isbn = {3-540-19672-2}, date = {2003-02-25},
	keywords = {dblp }
}

@inproceedings{conf/esec/Wordsworth89,
	title = {Practical Experience of Formal Specification: A Programming Interface for Communications.},
	author = {John Wordsworth},
	booktitle = {ESEC},
	crossref = {conf/esec/1989},
	editor = {Carlo Ghezzi and John A. McDermid},
	pages = {140-158},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/esec/esec89.html#Wordsworth89},
	volume = {387},
	year = {1989},
	biburl = {http://www.bibsonomy.org/bibtex/2ad43eb1a1fa4178dedfa341db34b1524/dblp},
	description = {dblp},
	isbn = {3-540-51635-2}, date = {2002-12-17},
	keywords = {dblp }
}