@inbook{Lichtenstein_1985,
    title = {The glory of the past},
    isbn = {9783540395270},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/3-540-15648-8_16},
    doi = {10.1007/3-540-15648-8_16},
    booktitle = {Logics of Programs},
    publisher = {Springer Berlin Heidelberg},
    author = {Lichtenstein, Orna and Pnueli, Amir and Zuck, Lenore},
    year = {1985},
    pages = {196–218},
    date-added = {2026-3-16 18:8:31 +0100}
}

@inbook{Lichtenstein_1985, title = {The glory of the past}, isbn = {9783540395270}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/3-540-15648-8_16}, doi = {10.1007/3-540-15648-8_16}, booktitle = {Logics of Programs}, publisher = {Springer Berlin Heidelberg}, author = {Lichtenstein, Orna and Pnueli, Amir and Zuck, Lenore}, year = {1985}, pages = {196–218}, date-added = {2026-3-16 18:8:31 +0100} }