Christophe Ringeissen

• Frontiers of Combining Systems
• Algebraic Methodology and Software Technology