An algebraic view of program composition (1998)

by P Cenciarelli
Venue:Algebraic Methodology and Software Technology, number 1548 in Lect. Notes Comp. Sci