Acronyms von A bis Z
LNCS501
-Bodoit/Kreowski/Lescanne/Orejas/Sannella (Eds.): Algebraic System Specification and Development, Springer-Verlag 1991
-Bodoit/Kreowski/Lescanne/Orejas/Sannella (Eds.): Algebraic System Specification and Development, Springer-Verlag 1991