Book

Algebraic Methodology and Software Technology

by Michael P. Johnson, Varmo Vene