@phdthesis{Wolf2010,
author = {Wolf, Sarah},
year = {2010},
title = {From vulnerability formalization to finitely additive probability monads},
type = {Dissertation},
url = "http://dx.doi.org/10.17169/refubium-9300",
}