| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language | 978-3-540-21301-7 | 2008 | |
| CASL User Manual: Introduction to Using the Common Algebraic Specification Language | 978-3-540-20766-5 | 2008 | M. Bidoit |
| Formal Description of Programming Concepts: Formal Software Development Methods - International Symposium Proceedings: Conference Contributions v. 1 | 978-3-540-53961-2 | 1991 | K.R. Apt · E. Astesiano · D. Bjorner · M. Broy · L. Cardelli · E.-R. Olderog · M. Wirsing |
| Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers | 978-3-540-67898-4 | D. Bert | |