@article{Dijkstra_1968,
    title = {A constructive approach to the problem of program correctness},
    volume = {8},
    issn = {1572-9125},
    url = {http://dx.doi.org/10.1007/BF01933419},
    doi = {10.1007/bf01933419},
    number = {3},
    journal = {BIT},
    publisher = {Springer Science and Business Media LLC},
    author = {Dijkstra, E. W.},
    year = {1968},
    month = {sep},
    pages = {174–186},
    date-added = {2026-2-10 14:8:21 +0100}
}

@article{Dijkstra_1968, title = {A constructive approach to the problem of program correctness}, volume = {8}, issn = {1572-9125}, url = {http://dx.doi.org/10.1007/BF01933419}, doi = {10.1007/bf01933419}, number = {3}, journal = {BIT}, publisher = {Springer Science and Business Media LLC}, author = {Dijkstra, E. W.}, year = {1968}, month = {sep}, pages = {174–186}, date-added = {2026-2-10 14:8:21 +0100} }