@article{Kozen_1981,
    doi = {10.1016/0022-0000(81)90036-2},
    url = {https://doi.org/10.1016%2F0022-0000%2881%2990036-2},
    year = {1981},
    month = {jun},
    publisher = {Elsevier {BV}},
    volume = {22},
    number = {3},
    pages = {328--350},
    author = {Dexter Kozen},
    title = {Semantics of probabilistic programs},
    journal = {Journal of Computer and System Sciences}
}

@article{Kozen_1981, doi = {10.1016/0022-0000(81)90036-2}, url = {https://doi.org/10.1016%2F0022-0000%2881%2990036-2}, year = {1981}, month = {jun}, publisher = {Elsevier {BV}}, volume = {22}, number = {3}, pages = {328--350}, author = {Dexter Kozen}, title = {Semantics of probabilistic programs}, journal = {Journal of Computer and System Sciences} }