Algebraic system specification and development a survey and annotated bibliography - Bidoi Michel (Berlin Springer-Verlag, 1991)
Keywords: Algebraic system; Annotated bibliography