Book

Algebraic Methodology and Software Technology

by José Meseguer, Grigore Rosu