References

 [MKKB98]

Till Mossakowski, Kolyang, and Bernd Krieg-Brückner. Static semantic analysis and theorem proving for CASL. In 12th Workshop on Algebraic Development Techniques, Tarquinia, volume ???? of LNCS, pages ???-??? Springer-Verlag, 1998. Also available by FTP.