Most Popular Books
- TAPSOFT'97: Theory and Practice of Software Development: 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings
- CASL User Manual: Introduction to Using the Common Algebraic Specification Language (Lecture Notes in Computer Science)
- Algebraic System Specification and Development: A Survey and Annotated Bibliography (Lecture Notes in Computer Science)
