@InProceedings{swierstra_hoare_logic_2009,
author="Swierstra, Wouter",
editor="Berghofer, Stefan and Nipkow, Tobias and Urban, Christian and Wenzel, Makarius",
title="A Hoare Logic for the State Monad",
booktitle="Theorem Proving in Higher Order Logics",
year="2009",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="440--451",
isbn="978-3-642-03359-9"
}