Algebraic system specification and development : a survey and annotated bibliography / M. Bidoit ... [et al.], (eds.). (Lecture notes in computer science)
Algebraic system specification and development : a survey and annotated bibliography / M. Bidoit ... [et al.], (eds.).