TY - BOOK AU - Alagar, V S., ed AU - Nivat, Maurice., ed TI - Algebraic Methodology and Software Technology T2 - Lecture notes in computer science U1 - 005.131 CY - Berlin PB - Springer ER -