Kurt M. Olender, Leon J. Osterweil. Cesar: A Static Sequencing Constraint Analyzer. In Symposium on Testing, Analysis, and Verification. pages 66-74, 1989. [doi]
@inproceedings{OlenderO89,
title = {Cesar: A Static Sequencing Constraint Analyzer},
author = {Kurt M. Olender and Leon J. Osterweil},
year = {1989},
doi = {10.1145/75308.75317},
url = {http://doi.acm.org/10.1145/75308.75317},
tags = {constraints},
researchr = {https://researchr.org/publication/OlenderO89},
cites = {0},
citedby = {0},
pages = {66-74},
booktitle = {Symposium on Testing, Analysis, and Verification},
}