Book (two volumes + CD-ROM):

    CASL, The Common Algebraic Specification Language

    - User Manual and Reference Manual

    by

    CoFI, The Common Framework Initiative for 
    Algebraic Specification and Development

    Edited by Peter D. Mosses

    Springer LNCS, IFIP Series, to appear (2003)


LIST OF CONTENTS
__________________________________________________

CASL USER MANUAL [150-200 pages]

by Michel Bidoit and Peter D. Mosses
(with contributions by Till Mossakowski, 
Don Sannella, Andrzej Tarlecki)

Preface
List of Contents
 1 Introduction 				
 2 Algebraic Concepts 			
 3 Total, Many-Sorted Specifications	
 4 Partial Functions			
 5 Subsorting				
 6 Structuring Specifications 		
 7 Generic Specifications 		
 8 Specifying Architectural Structure 	
 9 Libraries 		
10 Tools 				
11 Foundations 				

Appendices

A  Quick Reference 
B  Basic Library 	
C  Case Study 		
Bibliography
Index
__________________________________________________

CASL REFERENCE MANUAL [450-500 pages]

Preface
List of Contents

Part I: CASL Summary	

by The CoFI Language Design Group
(eds. Bernd Krieg-Brueckner and Peter D. Mosses)

I.1 Introduction to CASL Summary	
I.2 Basic Specifications		
I.3 Subsorting Specifications		
I.4 Structuring Specifications		
I.5 Architectural Specifications	
I.6 Libraries				
I.7 Sub-languages and Extensions	

Part II: CASL Syntax 			

by The CoFI Language Design Group
(eds. Bernd Krieg-Brueckner and Peter D. Mosses)

II.1 Introduction to CASL Syntax
II.2 Lexical Symbols		
II.3 Comments and Annotations	
II.4 Concrete Syntax		
II.5 Abstract Syntax		

Part III: CASL Semantics

by Hubert Baumeister, Maura Cerioli, 
Anne Haxthausen, Till Mossakowski, 
Peter D. Mosses, Don Sannella, Andrzej Tarlecki

III.1 Introduction to CASL Semantics	
III.2 Basic Specification Semantics	
III.3 Subsorting Specification Semantics
III.4 Structured Specification Semantics
III.5 Architectural Specification Semantics
III.6 Specification Library Semantics

Part IV: CASL Logic 	

by Till Mossakowski, Piotr Hoffman, 
Serge Autexier, Dieter Hutter

IV.1 Introduction to CASL Logic
IV.2 Basic Specification Proofs
IV.3 Structured Specification Proofs
IV.4 Architectural Specification Proofs

Part V: CASL Refinement	

by Till Mossakowski

V.1 Introduction to CASL Refinement
V.2 The Refinement Language
V.3 Semantics

Part VI: CASL Libraries

by Markus Roggenbach, Till Mossakowski, 
Lutz Schroeder

VI. 1 Introduction to CASL Libraries
VI. 2 Numbers
VI. 3 Relations and Orders
VI. 4 Algebra I
VI. 5 Simple Datatypes
VI. 6 Structured Datatypes
VI. 7 Graphs
VI. 8 Algebra II
VI. 9 Linear Algebra I
VI.10 Linear Algebra II
VI.11 Machine Numbers
VI.12 Methodological Guidelines

Annotated Bibliography

Index
__________________________________________________

CD-ROM:

README

A  Examples of CASL Specifications
B  Presentations of CASL
C  CASL Interactive Tutorial
D  CASL Libraries of Basic Datatypes
E  Collection of CASL Tools
F  Full text
__________________________________________________