1. Canadian National Building Code;NBC,1985
2. Electronic code evaluation;Vanier,1990
3. La structure logique de la loi;Gardies;Arch. phil. droit,1980
4. Logic programming for large scale applications in law;Bench-Capon,1987
5. La Logique des Normes;Kalinowski,1972