Lutz Schröder, Till Mossakowski. Monad-Independent Hoare Logic in HASCASL. In Mauro Pezzè, editor, Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Volume 2621 of Lecture Notes in Computer Science, pages 261-277, Springer, 2003. [doi]