<?xml version="1.0"?>
<dblp>
<inproceedings key="conf/sas/Jackson00" mdate="2002-01-03">
<author>Daniel Jackson</author>
<title>Enforcing Design Constraints with Object Logic.</title>
<pages>1-21</pages>
<year>2000</year>
<crossref>conf/sas/2000</crossref>
<booktitle>SAS</booktitle>
<url>db/conf/sas/sas2000.html#Jackson00</url>
</inproceedings>
</dblp>
