Amílcar Sernadas Cristina Sernadas Object Certification (Invited Lecture). 55-78 1994 DAISD db/conf/daisd/daisd94.html#SernadasS94