Development and maintenance of large formal specifications supported by case-based reasoning by Peter Funk. Published by University of Edinburgh, Dept. of Artificial Intelligence in 1993. Publication and catalogue information, links to buy online and reader comments.