Text this: Algebraic system specification and development : a survey and annotated bibliography / M. Bidoit [and others], eds.