The algebraic specification of abstract data types has beena flourishing research topic in comp...

This book is an annotated bibliography providing an up-to-date overview of past and present work ...

CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Commo...