TY - BOOK AU - Alagar,V.S. AU - Nivat, Maurice Eds. TI - Algebraic Methodology and software technology: 4th international conference; proceedings SN - 3540600434 CY - Berlin KW - Algebraic Methodology ER -