Monad-independent Hoare logic in HasCasl (2003)

by L Schroder, T Mossakowski
Venue:Fundamental Aspects of Software Engineering, volume 2621 of LNCS