Book

Algebraic methodology and software technology

by Michael P. Johnson