Michel Bidoit, Donald Sannella, Andrzej Tarlecki. Toward Component-Oriented Formal Software Development: An Algebraic Approach. In Martin Wirsing, Alexander Knapp, Simonetta Balsamo, editors, Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers. Volume 2941 of Lecture Notes in Computer Science, pages 75-90, Springer, 2002. [doi]
Abstract is missing.