Toward component-oriented formal software development: an algebraic approach (2002)

by M Bidoit, D Sannella, A Tarlecki
Venue:Proc. 9th Monterey Workshop, Radical Innovations of Software and Systems Engineering in the Future