@incollection{Brock_1981,
    doi = {10.1007/3-540-10699-5_102},
    url = {https://doi.org/10.1007%2F3-540-10699-5_102},
    year = {1981},
    publisher = {Springer Berlin Heidelberg},
    pages = {252--259},
    author = {J. Dean Brock and William B. Ackerman},
    title = {Scenarios: A model of non-determinate computation},
    booktitle = {Formalization of Programming Concepts}
}

@incollection{Brock_1981, doi = {10.1007/3-540-10699-5_102}, url = {https://doi.org/10.1007%2F3-540-10699-5_102}, year = {1981}, publisher = {Springer Berlin Heidelberg}, pages = {252--259}, author = {J. Dean Brock and William B. Ackerman}, title = {Scenarios: A model of non-determinate computation}, booktitle = {Formalization of Programming Concepts} }