A formal object specification technique using rule-based transformation of partial algebrasAnnika WagnerÉpuiséPrévenez-moi
