Monad-independent dynamic logic in HasCasl, J. Logic Comput., to appear. Earlier version (2003)

by L Schröder, T Mossakowski
Venue:in Recent Developments in Algebraic Development Techniques (WADT 02), LNCS