@doctoralThesis{Maier_2003, title={A lattice-theoretic framework for circular assume-guarantee reasoning}, author={Maier, Patrick}, doi={http://dx.doi.org/10.22028/D291-25787}, year={2003} }