Cousot, P. and Cousot, R. 1978. Static determination of dynamic properties of recursive procedures. In Proceedings of the IFIP Conference on Programming Concepts, E. Neuhold, Ed. North-Holland Pub. Co., 237-277.
author author author author author date title title title title title title title title booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle editor editor editor publisher publisher publisher pages