Donald Sannella. The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress. In Maura Cerioli, Gianna Reggio, editors, Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers. Volume 2267 of Lecture Notes in Computer Science, pages 328-344, Springer, 2001. [doi]
@inproceedings{Sannella01,
title = {The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress},
author = {Donald Sannella},
year = {2001},
doi = {http://link.springer.de/link/service/series/0558/bibs/2267/22670328.htm},
tags = { algebra, algebraic specification},
researchr = {http://researchr.org/publication/Sannella01},
cites = {0},
citedby = {0},
pages = {328-344},
booktitle = {Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers},
editor = {Maura Cerioli and Gianna Reggio},
volume = {2267},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-43159-4},
}