Static semantic analysis and theorem proving for Casl (1997)

by Till Mossakowski, Kolyang, Bernd Krieg-Brückner
Venue:Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT’97