M. Howard Williams Norman W. Paton From OO Through Deduction to Active Databases - ROCK, ROLL & RAP. 313-330 1997 conf/sofsem/1997 SOFSEM db/conf/sofsem/sofsem1997.html#WilliamsP97 https://doi.org/10.1007/3-540-63774-5_113