@incollection{Floyd_1993,
    doi = {10.1007/978-94-011-1793-7_4},
    url = {https://doi.org/10.1007%2F978-94-011-1793-7_4},
    year = {1993},
    publisher = {Springer Netherlands},
    pages = {65--81},
    author = {Robert W. Floyd},
    title = {Assigning Meanings to Programs},
    booktitle = {Program Verification}
}

@incollection{Floyd_1993, doi = {10.1007/978-94-011-1793-7_4}, url = {https://doi.org/10.1007%2F978-94-011-1793-7_4}, year = {1993}, publisher = {Springer Netherlands}, pages = {65--81}, author = {Robert W. Floyd}, title = {Assigning Meanings to Programs}, booktitle = {Program Verification} }