@inproceedings{806926,
 author = {Cousot, Patrick and Cousot, Radhia},
 title = {Automatic synthesis of optimal invariant assertions: Mathematical foundations},
 booktitle = {Proceedings of the 1977 symposium on Artificial intelligence and programming languages},
 year = {1977},
 pages = {1--12},
 doi = {http://doi.acm.org/10.1145/800228.806926},
 publisher = {ACM},
 address = {New York, NY, USA},
 }