@article{michelbrinksetzer:statedependentIOMonadsInTypeTheory,
author = {Michelbrink, Markus and Setzer, Anton},
title = {State Dependent {IO}-Monads in Type Theory},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {122},
year = {2005},
pages = {127 -- 146},
abstract = { }
}