1
CASL User Manual [E-Book] : Introduction to Using the Common Algebraic Specification Language /
2
TAPSOFT'97: Theory and Practice of Software Development [E-Book] : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings /